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
460 workflow runs
460 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependency: deps/k_release (#2521) Bump Version and Start Release Job #782: Commit 4d59589 pushed by tothtamas28
July 11, 2024 11:47 20m 57s master
master
July 11, 2024 11:47 20m 57s
Fix indexed reference to nonce cell (#2523) Bump Version and Start Release Job #781: Commit bd4e443 pushed by palinatolmach
July 11, 2024 03:55 23m 17s master
master
July 11, 2024 03:55 23m 17s
Add transient_storage parameter to KEVM.account_cell (#2522) Bump Version and Start Release Job #780: Commit f00bc2b pushed by rv-jenkins
July 10, 2024 19:23 20m 49s master
master
July 10, 2024 19:23 20m 49s
EIP-1153: Implement Transient Storage (#2520) Bump Version and Start Release Job #779: Commit 9130238 pushed by anvacaru
July 10, 2024 15:00 23m 38s master
master
July 10, 2024 15:00 23m 38s
Add option to use sequential proof loop (#2518) Bump Version and Start Release Job #778: Commit 08e5377 pushed by rv-jenkins
July 9, 2024 23:41 21m 7s master
master
July 9, 2024 23:41 21m 7s
Update dependency: deps/k_release (#2519) Bump Version and Start Release Job #777: Commit 800f92a pushed by rv-jenkins
July 9, 2024 17:01 20m 8s master
master
July 9, 2024 17:01 20m 8s
Update dependency: deps/k_release (#2517) Bump Version and Start Release Job #776: Commit ecc16a8 pushed by anvacaru
July 8, 2024 23:21 23m 19s master
master
July 8, 2024 23:21 23m 19s
Add link to Kontrol tg channel to failure output (#2515) Bump Version and Start Release Job #775: Commit 12d387d pushed by palinatolmach
July 8, 2024 11:00 18m 34s master
master
July 8, 2024 11:00 18m 34s
Update dependency: deps/k_release (#2514) Bump Version and Start Release Job #774: Commit b4ead22 pushed by palinatolmach
July 8, 2024 09:33 23m 3s master
master
July 8, 2024 09:33 23m 3s
Enabling functional proofs in Kontrol (#2516) Bump Version and Start Release Job #773: Commit 8aa58fd pushed by rv-jenkins
July 6, 2024 12:02 19m 25s master
master
July 6, 2024 12:02 19m 25s
Update dependency: deps/k_release (#2513) Bump Version and Start Release Job #772: Commit f7bd9f5 pushed by rv-jenkins
July 4, 2024 10:01 22m 55s master
master
July 4, 2024 10:01 22m 55s
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2512) Bump Version and Start Release Job #771: Commit 5777d64 pushed by rv-jenkins
July 4, 2024 07:23 18m 36s master
master
July 4, 2024 07:23 18m 36s
Bump the ethereum-tests submodule (#2506) Bump Version and Start Release Job #770: Commit 1984739 pushed by rv-jenkins
July 3, 2024 17:01 22m 28s master
master
July 3, 2024 17:01 22m 28s
Deprecate symbol and klabel(_) (#2378) Bump Version and Start Release Job #769: Commit e990cd6 pushed by rv-jenkins
July 3, 2024 11:22 21m 31s master
master
July 3, 2024 11:22 21m 31s
Update dependency: deps/k_release (#2510) Bump Version and Start Release Job #768: Commit 75ee638 pushed by tothtamas28
July 3, 2024 08:29 23m 4s master
master
July 3, 2024 08:29 23m 4s
Update dependency: deps/k_release (#2508) Bump Version and Start Release Job #767: Commit a82be98 pushed by ehildenb
July 1, 2024 14:06 24m 32s master
master
July 1, 2024 14:06 24m 32s
Bump Version and Start Release Job Bump Version and Start Release Job #766: by rv-jenkins
June 28, 2024 19:02 22m 6s master
master
June 28, 2024 19:02 22m 6s
Rename test-stages, improve parallel parameterization (#2507) Bump Version and Start Release Job #765: Commit 9d3c329 pushed by ehildenb
June 28, 2024 15:22 18m 5s master
master
June 28, 2024 15:22 18m 5s
Reflect ignore_warnings kompile option (#2497) Bump Version and Start Release Job #764: Commit e4d4650 pushed by rv-jenkins
June 27, 2024 15:02 22m 43s master
master
June 27, 2024 15:02 22m 43s
Tweaks to the conformance harness (#2505) Bump Version and Start Release Job #763: Commit 9b848e2 pushed by rv-jenkins
June 27, 2024 12:02 23m 22s master
master
June 27, 2024 12:02 23m 22s
Update dependency: deps/k_release (#2503) Bump Version and Start Release Job #762: Commit 9443a79 pushed by rv-jenkins
June 27, 2024 07:22 19m 46s master
master
June 27, 2024 07:22 19m 46s
Improve harness for conformance tests (#2502) Bump Version and Start Release Job #761: Commit 21617b6 pushed by anvacaru
June 26, 2024 15:14 22m 41s master
master
June 26, 2024 15:14 22m 41s
Update dependency: deps/k_release (#2501) Bump Version and Start Release Job #760: Commit 898a399 pushed by rv-jenkins
June 26, 2024 05:24 20m 45s master
master
June 26, 2024 05:24 20m 45s
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2493) Bump Version and Start Release Job #759: Commit 33a3d4f pushed by anvacaru
June 25, 2024 20:53 21m 40s master
master
June 25, 2024 20:53 21m 40s
Remove testing pure kore-rpc on CI (#2500) Bump Version and Start Release Job #758: Commit 7f808b0 pushed by ehildenb
June 25, 2024 16:29 19m 24s master
master
June 25, 2024 16:29 19m 24s