Test PR

Update dependency: deps/k_release #10612

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	30s
Unit Tests	23s
Proofs: Rules (booster)	1h 1m 32s
Profiling	46s
Proofs: Rules (booster-dev)	8m 32s
Conformance Tests	13m 44s
Nix (normal)	10m 59s
Proofs: Functional	21m 11s
Proofs: Optimizations	4m 48s
Nix (macos-13)	33m 29s
Proofs: DSS	32m 23s
Nix (ARM64)	6m 19s
	3h 14m 36s