Test PR

Memory update lemma correction #10533

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	32s
Profiling	43s
Unit Tests	24s
Conformance Tests	12m 4s
Nix (normal)	11m 50s
Proofs: Rules (booster)	12m 8s
Nix (macos-13)	12m 9s
Proofs: Rules (booster-dev)	6m 56s
Nix (ARM64)	4m 53s
Proofs: Functional	12m 8s
Proofs: Optimizations	5m 9s
Proofs: DSS	12m 8s
	1h 31m 4s