Run Tests

Add `preserves-definedness` attributes #2621

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Version Bump	7s
Code Quality Checks	1m 9s
Conformance Tests	7m 8s
Nix (normal)	7m 52s
Prover Tests	10m 9s
Nix (ARM64)	3m 59s
	30m 24s