Skip to content

Actions: runtimeverification/evm-semantics

Actions

Bump Version and Start Release Job

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master-push.yml
456 workflow runs
456 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Filter GST discarded keys in the Python harness (#2679) Bump Version and Start Release Job #913: Commit 98eac94 pushed by automergerpr-permission-manager bot
January 14, 2025 16:27 15s master
master
January 14, 2025 16:27 15s
EIP-6780: SELFDESTRUCT only in same transaction (#2545) Bump Version and Start Release Job #912: Commit 496cb34 pushed by automergerpr-permission-manager bot
January 13, 2025 17:03 15s master
master
January 13, 2025 17:03 15s
Update dependency: deps/z3 (#2675) Bump Version and Start Release Job #911: Commit f28dcd9 pushed by automergerpr-permission-manager bot
January 13, 2025 13:42 17s master
master
January 13, 2025 13:42 17s
Update dependency: deps/k_release (#2673) Bump Version and Start Release Job #910: Commit 435fd36 pushed by automergerpr-permission-manager bot
January 7, 2025 19:41 16s master
master
January 7, 2025 19:41 16s
Pin Python version for code quality checks. (#2674) Bump Version and Start Release Job #909: Commit 3c722ea pushed by automergerpr-permission-manager bot
January 6, 2025 18:28 14s master
master
January 6, 2025 18:28 14s
Update copytree function to support Python 3.12 (#2672) Bump Version and Start Release Job #908: Commit ed5f201 pushed by automergerpr-permission-manager bot
January 6, 2025 16:27 20s master
master
January 6, 2025 16:27 20s
Update dependency: deps/k_release (#2667) Bump Version and Start Release Job #907: Commit ed164b4 pushed by automergerpr-permission-manager bot
December 18, 2024 08:28 19s master
master
December 18, 2024 08:28 19s
introducing the optimize_kcfg parameter (#2666) Bump Version and Start Release Job #906: Commit 5e7a593 pushed by automergerpr-permission-manager bot
December 17, 2024 12:02 19s master
master
December 17, 2024 12:02 19s
Update dependency: deps/k_release (#2665) Bump Version and Start Release Job #905: Commit afce9a6 pushed by automergerpr-permission-manager bot
December 17, 2024 07:26 24s master
master
December 17, 2024 07:26 24s
Support for multimasks in slot updates (#2657) Bump Version and Start Release Job #904: Commit 6cf2f54 pushed by automergerpr-permission-manager bot
December 16, 2024 19:23 16s master
master
December 16, 2024 19:23 16s
Update dependency: deps/k_release (#2664) Bump Version and Start Release Job #903: Commit 3921a7a pushed by PetarMax
December 16, 2024 15:22 17s master
master
December 16, 2024 15:22 17s
Update dependency: deps/k_release (#2663) Bump Version and Start Release Job #902: Commit 5593949 pushed by anvacaru
December 11, 2024 06:34 15s master
master
December 11, 2024 06:34 15s
KEVMSemantics: refactor custom_step and can_make_custom_step (#2662) Bump Version and Start Release Job #901: Commit b40fd7b pushed by PetarMax
December 5, 2024 16:57 16s master
master
December 5, 2024 16:57 16s
Update dependency: deps/k_release (#2661) Bump Version and Start Release Job #900: Commit 622dc98 pushed by anvacaru
December 5, 2024 14:55 18s master
master
December 5, 2024 14:55 18s
Update dependency: deps/k_release (#2660) Bump Version and Start Release Job #899: Commit b69a4cf pushed by anvacaru
November 29, 2024 09:25 19s master
master
November 29, 2024 09:25 19s
Update dependency: deps/k_release (#2659) Bump Version and Start Release Job #898: Commit e8c4066 pushed by anvacaru
November 28, 2024 07:20 17s master
master
November 28, 2024 07:20 17s
Thread through option to add modules to prover context (#2654) Bump Version and Start Release Job #897: Commit bce2ea7 pushed by palinatolmach
November 26, 2024 17:29 17s master
master
November 26, 2024 17:29 17s
Update dependency: deps/k_release (#2658) Bump Version and Start Release Job #896: Commit ba39cb4 pushed by anvacaru
November 26, 2024 08:00 15s master
master
November 26, 2024 08:00 15s
Update dependency: deps/k_release (#2656) Bump Version and Start Release Job #895: Commit fc545ef pushed by rv-jenkins
November 14, 2024 12:29 22s master
master
November 14, 2024 12:29 22s
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2651) Bump Version and Start Release Job #894: Commit 25f310a pushed by anvacaru
November 8, 2024 17:52 15s master
master
November 8, 2024 17:52 15s
kevm-pyk/{evm,*.py}: add option --break-on-jump (#2653) Bump Version and Start Release Job #893: Commit ccee56b pushed by rv-jenkins
November 7, 2024 02:06 19s master
master
November 7, 2024 02:06 19s
Update dependency: deps/k_release (#2652) Bump Version and Start Release Job #892: Commit 1a7a2a6 pushed by rv-jenkins
October 31, 2024 08:43 16s master
master
October 31, 2024 08:43 16s
Update dependency: deps/k_release (#2650) Bump Version and Start Release Job #891: Commit 3cc6077 pushed by rv-jenkins
October 29, 2024 20:26 21s master
master
October 29, 2024 20:26 21s
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2649) Bump Version and Start Release Job #890: Commit f0e4b21 pushed by rv-jenkins
October 23, 2024 22:25 15s master
master
October 23, 2024 22:25 15s
Update dependency: deps/k_release (#2648) Bump Version and Start Release Job #889: Commit d449c61 pushed by rv-jenkins
October 18, 2024 06:44 21s master
master
October 18, 2024 06:44 21s