Test PR

Update dependency: deps/k_release #10588

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	31s
Conformance Tests	20m 46s
Profiling	45s
Proofs: Rules (booster)	58m 19s
Unit Tests	24s
Proofs: Rules (booster-dev)	15m 59s
Nix (normal)	6m 34s
Proofs: Functional	17m 13s
Nix (macos-13)	30m 36s
Proofs: Optimizations	13m 14s
Nix (ARM64)	5m 11s
Proofs: DSS	23m 29s
	3h 13m 1s