Test PR

Update dependency: deps/k_release #11214

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	41s
Profiling	37s
Unit Tests	25s
Nix (ARM64)	1m 8s
Proofs: Rules (booster-dev)	1m 0s
Conformance Tests	57s
Nix (normal)	1m 3s
Proofs: DSS	1s
Proofs: Optimizations	1m 10s
Proofs: Functional	1m 10s
Proofs: Summarization	1m 10s
Proofs: Rules (booster)	1m 8s
	10m 30s