Test PR

Update dependency: deps/k_release #10520

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	31s
Conformance Tests	1m 11s
Nix (normal)	1m 24s
Unit Tests	24s
Profiling	46s
Nix (macos-13)	1m 19s
Nix (ARM64)	1m 24s
Proofs: Rules (booster)	1m 23s
Proofs: Rules (booster-dev)	1m 23s
Proofs: Functional	1m 23s
Proofs: Optimizations	1m 23s
Proofs: DSS	1m 23s
	13m 54s