Test PR

Update dependency: deps/k_release #10652

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	37s
Code Quality Checks	37s
Unit Tests	26s
Unit Tests	26s
Conformance Tests	21m 27s
Conformance Tests	21m 27s
Profiling	36s
Profiling	36s
Nix (normal)	6m 46s
Nix (normal)	6m 46s
Proofs: Rules (booster)	54m 56s
Proofs: Rules (booster)	54m 56s
Nix (macos-13)	1h 0m 23s
Nix (macos-13)	3m 47s
Proofs: Rules (booster-dev)	8m 32s
Proofs: Rules (booster-dev)	8m 32s
Nix (ARM64)	6m 26s
Nix (ARM64)	6m 26s
Proofs: Functional	45m 15s
Proofs: Functional	3m 47s
Proofs: Optimizations	7m 52s
Proofs: Optimizations	7m 52s
Proofs: DSS	22m 49s
Proofs: DSS	22m 49s
	6h 14m 6s