Test PR

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	31s
Unit Tests	23s
Conformance Tests	15m 44s
Proofs: Rules (booster)	38m 1s
Profiling	47s
Nix (normal)	12m 18s
Proofs: Rules (booster-dev)	12m 36s
Nix (macos-13)	26m 27s
Proofs: Functional	19m 44s
Nix (ARM64)	6m 3s
Proofs: Optimizations	5m 51s
Proofs: DSS	33m 46s
	2h 52m 11s