Test PR

Update dependency: deps/k_release #10649

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	37s
Profiling	34s
Unit Tests	25s
Conformance Tests	1m 5s
Nix (normal)	1m 17s
Nix (macos-13)	1m 13s
Proofs: Rules (booster)	1s
Nix (ARM64)	1m 17s
Proofs: Rules (booster-dev)	1m 19s
Proofs: Functional	1m 14s
Proofs: Optimizations	1m 18s
Proofs: DSS	1m 19s
	11m 39s