Back to pull request #2640

Update dependency: deps/k_release #10531

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	32s
Profiling	48s
Conformance Tests	14m 40s
Nix (normal)	8m 45s
Unit Tests	24s
Nix (macos-13)	36m 50s
Proofs: Rules (booster)	1h 7m 24s
Nix (ARM64)	20m 24s
Proofs: Rules (booster-dev)	10m 0s
Proofs: Functional	20m 14s
Proofs: Optimizations	13m 5s
Proofs: DSS	34m 10s
	3h 47m 16s