Run Tests

Add `preserves-definedness` attributes #2620

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Version Bump	8s
Code Quality Checks	10s
Conformance Tests	1s
Prover Tests	1s
Nix	1s
	21s