Test PR

Update dependency: deps/k_release #10555

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	30s
Unit Tests	23s
Conformance Tests	15m 26s
Nix (normal)	8m 56s
Nix (macos-13)	1h 0m 15s
Profiling	50s
Nix (ARM64)	5m 19s
Proofs: Rules (booster)	56m 58s
Proofs: Rules (booster-dev)	7m 28s
Proofs: Functional	31m 56s
Proofs: Optimizations	7m 55s
Proofs: DSS	26m 1s
	3h 41m 57s