Test PR

Update dependency: deps/k_release #10546

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	34s
Profiling	47s
Unit Tests	23s
Conformance Tests	11m 47s
Nix (normal)	8m 37s
Proofs: Rules (booster)	59m 22s
Nix (macos-13)	40m 42s
Proofs: Rules (booster-dev)	15m 54s
Nix (ARM64)	6m 38s
Proofs: Functional	26m 7s
Proofs: Optimizations	8m 28s
Proofs: DSS	34m 30s
	3h 33m 49s