Test PR

Update dependency: deps/k_release #10655

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	39s
Code Quality Checks	39s
Unit Tests	22s
Unit Tests	22s
Conformance Tests	14m 27s
Conformance Tests	14m 27s
Profiling	36s
Profiling	36s
Nix (normal)	9m 53s
Nix (normal)	9m 53s
Proofs: Rules (booster)	45m 18s
Proofs: Rules (booster)	45m 18s
Nix (macos-13)	1h 0m 17s
Nix (macos-13)	1h 0m 24s
Proofs: Rules (booster-dev)	11m 19s
Proofs: Rules (booster-dev)	11m 19s
Nix (ARM64)	5m 43s
Nix (ARM64)	5m 43s
Proofs: Functional	45m 16s
Proofs: Functional	41m 10s
Proofs: Optimizations	4m 42s
Proofs: Optimizations	4m 42s
Proofs: DSS	43m 13s
Proofs: DSS	43m 13s
	7h 59m 31s