Update dependency: deps/k_release #10582

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	31s
Proofs: Rules (booster)	38m 51s
Unit Tests	22s
Proofs: Rules (booster-dev)	8m 18s
Profiling	45s
Nix (normal)	5m 59s
Proofs: Functional	19m 48s
Nix (macos-13)	1h 0m 15s
Proofs: Optimizations	5m 55s
Conformance Tests	20m 12s
Nix (ARM64)	5m 48s
Proofs: DSS	25m 26s
	3h 12m 10s