Update dependency: deps/k_release #10570

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	31s
Profiling	50s
Unit Tests	24s
Nix (normal)	1m 35s
Conformance Tests	1m 23s
Nix (macos-13)	1m 31s
Proofs: Rules (booster)	1m 35s
Nix (ARM64)	1m 35s
Proofs: Rules (booster-dev)	1m 36s
Proofs: Functional	1m 36s
Proofs: Optimizations	1m 35s
Proofs: DSS	1m 37s
	15m 48s