Test PR

Update dependency: deps/k_release #10571

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	31s
Profiling	46s
Nix (normal)	11m 57s
Conformance Tests	11m 29s
Unit Tests	24s
Nix (macos-13)	48m 10s
Nix (ARM64)	5m 18s
Proofs: Rules (booster)	54m 19s
Proofs: Rules (booster-dev)	11m 36s
Proofs: Functional	43m 42s
Proofs: Optimizations	8m 21s
Proofs: DSS	23m 1s
	3h 39m 34s