Test PR

Update dependency: deps/k_release #11217

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	41s
Unit Tests	24s
Profiling	41s
Conformance Tests	19m 45s
Proofs: Rules (booster)	1h 40m 17s
Nix (normal)	18m 9s
Nix (ARM64)	10m 30s
Proofs: Optimizations	7m 31s
Proofs: Rules (booster-dev)	14m 37s
Proofs: Functional	24m 15s
Proofs: DSS	32m 52s
Proofs: Summarization	18m 30s
Code Quality Checks	41s
Profiling	41s
Conformance Tests	19m 45s
Proofs: Rules (booster-dev)	14m 37s
Proofs: Rules (booster)	43m 11s
Proofs: Functional	24m 15s
Proofs: Optimizations	7m 31s
Nix (normal)	18m 9s
Nix (ARM64)	10m 30s
Unit Tests	24s
Proofs: DSS	32m 52s
Proofs: Summarization	18m 30s
	7h 19m 18s