Test PR

Update deps/k_release to 7.1.170 #10569

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
Profiling	44s
Profiling	44s
Unit Tests	23s
Unit Tests	23s
Nix (normal)	8m 31s
Nix (normal)	8m 31s
Conformance Tests	22m 34s
Conformance Tests	22m 34s
Nix (macos-13)	1h 0m 20s
Nix (macos-13)	54m 20s
Proofs: Rules (booster)	58m 35s
Proofs: Rules (booster)	58m 35s
Nix (ARM64)	10m 4s
Nix (ARM64)	10m 4s
Proofs: Rules (booster-dev)	15m 25s
Proofs: Rules (booster-dev)	15m 25s
Proofs: Functional	33m 28s
Proofs: Functional	33m 28s
Proofs: Optimizations	15m 16s
Proofs: Optimizations	15m 16s
Proofs: DSS	28m 57s
Proofs: DSS	28m 57s
	8h 23m 36s