Added archive code buttons to GUI.

5 jobs for v0.7.2 in 13 minutes and 13 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build #996103

00:05:03

passed buildgui #996104

00:03:50

 
  Test
failed linting #996105

00:01:40

passed tests #996106

00:08:09

77.0%
 
  Release
skipped release #996107
allowed to fail manual
 
Name Stage Failure
failed
linting Test
No job log