Linux packages

Give the toolbox page a more polished layout #65

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
arch	7m 28s
tests	3m 44s
build	4m 45s
install-deb (debian:12)	1m 32s
install-rpm	1m 14s
install-deb (ubuntu:24.04)	1m 0s
install-deb (ubuntu:22.04)	1m 22s
attest	-1s
	21m 4s