Test PR

Update dependency: deps/k_release #10701

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	37s
Unit Tests	24s
Profiling	36s
Conformance Tests	17m 10s
Nix (normal)	6m 51s
Nix (macos-13)	33m 7s
Proofs: Rules (booster)	46m 20s
Nix (ARM64)	10m 32s
Proofs: Rules (booster-dev)	14m 15s
Proofs: Functional	22m 23s
Proofs: Optimizations	6m 34s
Proofs: DSS	27m 14s
	3h 6m 3s