Test PR

Update dependency: deps/k_release #10642

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	31s
Conformance Tests	1m 7s
Unit Tests	24s
Profiling	40s
Nix (normal)	1m 21s
Nix (macos-13)	1m 12s
Proofs: Rules (booster)	1s
Nix (ARM64)	1m 20s
Proofs: Rules (booster-dev)	1m 20s
Proofs: Functional	1m 21s
Proofs: Optimizations	1m 20s
Proofs: DSS	1m 18s
	11m 55s