Test PR

Update dependency: deps/k_release #10537

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	33s
Unit Tests	23s
Nix (normal)	6m 53s
Profiling	49s
Nix (macos-13)	26m 46s
Conformance Tests	15m 48s
Nix (ARM64)	5m 8s
Proofs: Rules (booster)	1h 40m 16s
Proofs: Rules (booster-dev)	8m 20s
Proofs: Functional	20m 45s
Proofs: Optimizations	6m 51s
Proofs: DSS	33m 35s
	3h 46m 7s