Memory update lemma correction #10534

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	33s
Profiling	48s
Proofs: Rules (booster)	26m 49s
Unit Tests	25s
Conformance Tests	21m 28s
Proofs: Rules (booster-dev)	8m 8s
Nix (normal)	6m 48s
Proofs: Functional	18m 1s
Nix (macos-13)	26m 51s
Nix (ARM64)	5m 10s
Proofs: Optimizations	5m 26s
Proofs: DSS	26m 49s
	2h 27m 16s