Test PR

Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin #10557

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	30s
Conformance Tests	25m 18s
Proofs: Rules (booster)	1h 9m 43s
Unit Tests	25s
Profiling	44s
Nix (normal)	7m 5s
Proofs: Rules (booster-dev)	13m 32s
Nix (macos-13)	26m 44s
Nix (ARM64)	5m 25s
Proofs: Functional	45m 16s
Proofs: Optimizations	13m 33s
Proofs: DSS	37m 6s
	4h 5m 21s