Test PR

Update dependency: deps/k_release #10525

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	34s
Proofs: Rules (booster)	45m 23s
Proofs: Rules (booster-dev)	11m 9s
Unit Tests	23s
Profiling	46s
Proofs: Functional	15m 41s
Proofs: Optimizations	6m 58s
Nix (normal)	14m 1s
Proofs: DSS	24m 13s
Conformance Tests	20m 12s
Nix (macos-13)	39m 55s
Nix (ARM64)	5m 3s
	3h 4m 18s