Back to pull request #2619

Update dependency: deps/k_release #10430

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	28s
Unit Tests	23s
Nix (normal)	12m 1s
Conformance Tests	18m 7s
Profiling	44s
Nix (macos-13)	35m 30s
Nix (ARM64)	5m 31s
Proofs: Rules (booster)	54m 51s
Proofs: Rules (booster-dev)	15m 56s
Proofs: Functional	20m 25s
Proofs: Optimizations	9m 36s
Proofs: DSS	25m 41s
	3h 19m 13s