Test PR

Use Cancun as default schedule #10800

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	37s
Unit Tests	29s
Profiling	36s
Nix (normal)	5m 58s
Conformance Tests	5m 54s
Proofs: Rules (booster)	47m 44s
Nix (macos-13)	25m 22s
Proofs: Rules (booster-dev)	15m 49s
Nix (ARM64)	4m 24s
Proofs: Functional	22m 6s
Proofs: Optimizations	4m 55s
Proofs: DSS	20m 19s
	2h 34m 13s