Back to pull request #2684

Update dependency: deps/k_release #10698

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	41s
Conformance Tests	21m 11s
Proofs: Rules (booster)	1h 35m 26s
Profiling	36s
Proofs: Rules (booster-dev)	8m 6s
Unit Tests	24s
Nix (normal)	12m 18s
Proofs: Functional	18m 58s
Nix (macos-13)	31m 32s
Proofs: Optimizations	5m 3s
Nix (ARM64)	5m 52s
Proofs: DSS	23m 46s
	3h 43m 53s