Test PR

Memory update lemma correction #10535

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	31s
Conformance Tests	21m 38s
Profiling	43s
Unit Tests	24s
Proofs: Rules (booster)	54m 55s
Nix (normal)	12m 31s
Proofs: Rules (booster-dev)	8m 31s
Nix (macos-13)	28m 53s
Proofs: Functional	30m 33s
Nix (ARM64)	5m 1s
Proofs: Optimizations	4m 52s
Proofs: DSS	33m 59s
	3h 22m 31s