Test PR

Update dependency: deps/k_release #10593

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	31s
Code Quality Checks	31s
Conformance Tests	24m 7s
Conformance Tests	24m 7s
Profiling	42s
Profiling	42s
Unit Tests	23s
Unit Tests	23s
Nix (normal)	9m 5s
Nix (normal)	9m 5s
Proofs: Rules (booster)	1h 40m 17s
Proofs: Rules (booster)	1h 38m 50s
Nix (macos-13)	52m 6s
Nix (macos-13)	52m 6s
Proofs: Rules (booster-dev)	8m 53s
Proofs: Rules (booster-dev)	8m 53s
Nix (ARM64)	5m 38s
Nix (ARM64)	5m 38s
Proofs: Functional	23m 39s
Proofs: Functional	23m 39s
Proofs: Optimizations	11m 48s
Proofs: Optimizations	11m 48s
Proofs: DSS	23m 59s
Proofs: DSS	23m 59s
	8h 40m 49s