Test PR

Update dependency: deps/k_release #10527

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	34s
Profiling	49s
Unit Tests	25s
Conformance Tests	14m 49s
Proofs: Rules (booster)	45m 15s
Proofs: Rules (booster-dev)	13m 43s
Nix (normal)	11m 44s
Proofs: Functional	20m 18s
Nix (macos-13)	35m 11s
Proofs: Optimizations	12m 20s
Nix (ARM64)	6m 45s
Proofs: DSS	33m 53s
	3h 15m 46s