Test PR

Update dependency: deps/k_release #10606

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	43s
Profiling	43s
Proofs: Rules (booster)	46m 42s
Proofs: Rules (booster)	46m 42s
Proofs: Rules (booster-dev)	8m 40s
Proofs: Rules (booster-dev)	8m 40s
Unit Tests	23s
Unit Tests	23s
Nix (normal)	10m 26s
Nix (normal)	10m 26s
Conformance Tests	19m 55s
Conformance Tests	19m 55s
Proofs: Functional	45m 15s
Proofs: Functional	24m 22s
Nix (macos-13)	35m 10s
Nix (macos-13)	35m 10s
Proofs: Optimizations	4m 49s
Proofs: Optimizations	4m 49s
Nix (ARM64)	5m 27s
Nix (ARM64)	5m 27s
Proofs: DSS	23m 9s
Proofs: DSS	23m 9s
	6h 21m 27s