Skip to content

Update dependency: deps/kevm_release #1032

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Conversation

rv-jenkins
Copy link
Collaborator

@rv-jenkins rv-jenkins commented May 21, 2025

Blocked on: runtimeverification/evm-semantics#2769

@palinatolmach palinatolmach force-pushed the _update-deps/runtimeverification/evm-semantics branch from 09b8e2d to 555d65a Compare June 26, 2025 12:22
The parallelism of 8 ran into a timeout (of 2h) in CI, trying a lower value (which also divides the test count of 30 for better work distribution)
@automergerpr-permission-manager automergerpr-permission-manager bot merged commit 9484f2e into master Jul 4, 2025
10 checks passed
@automergerpr-permission-manager automergerpr-permission-manager bot deleted the _update-deps/runtimeverification/evm-semantics branch July 4, 2025 03:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants