Back to pull request #2667

Update dependency: deps/k_release #10615

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	32s
Code Quality Checks	32s
Conformance Tests	13m 31s
Conformance Tests	13m 31s
Nix (normal)	6m 8s
Nix (normal)	6m 8s
Unit Tests	22s
Unit Tests	22s
Profiling	46s
Profiling	46s
Nix (macos-13)	38m 29s
Nix (macos-13)	38m 29s
Nix (ARM64)	11m 2s
Nix (ARM64)	11m 2s
Proofs: Rules (booster)	46m 8s
Proofs: Rules (booster)	46m 8s
Proofs: Rules (booster-dev)	9m 11s
Proofs: Rules (booster-dev)	9m 11s
Proofs: Functional	22m 15s
Proofs: Functional	20m 15s
Proofs: Optimizations	9m 5s
Proofs: Optimizations	9m 5s
Proofs: DSS	23m 10s
Proofs: DSS	23m 10s
	5h 59m 18s