Master Push

Correctly strip `-spec.k` from the bug report name in `prove_legacy` … #482

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Populate Nix Cache (normal)	5m 34s
Populate Nix Cache (macos-13)	19m 43s
Populate Nix Cache (ARM64)	3m 33s
Cut Release	6s
Publish GH Pages	3m 15s
	32m 11s