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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2553) Bump Version and Start Release Job #807: Commit ee44274 pushed by rv-jenkins
August 5, 2024 17:25 19m 48s master
master
August 5, 2024 17:25 19m 48s
Update dependency: deps/k_release (#2548) Bump Version and Start Release Job #806: Commit ce37791 pushed by rv-jenkins
August 2, 2024 16:02 26m 3s master
master
August 2, 2024 16:02 26m 3s
EIP-4788: Beacon Roots contract (#2546) Bump Version and Start Release Job #805: Commit 14c9d29 pushed by anvacaru
August 2, 2024 09:10 20m 29s master
master
August 2, 2024 09:10 20m 29s
Increase the number of tests run with the booster-dev (#2547) Bump Version and Start Release Job #804: Commit 394c1ec pushed by rv-jenkins
August 1, 2024 21:24 24m 54s master
master
August 1, 2024 21:24 24m 54s
Load claims using ClaimLoader (#2532) Bump Version and Start Release Job #803: Commit d7f2081 pushed by rv-jenkins
July 31, 2024 09:02 23m 45s master
master
July 31, 2024 09:02 23m 45s
Execute multiple blocks in conformance tests (#2541) Bump Version and Start Release Job #802: Commit c325c55 pushed by anvacaru
July 31, 2024 08:09 19m 6s master
master
July 31, 2024 08:09 19m 6s
Add status bar support (#2543) Bump Version and Start Release Job #801: Commit 2c10f04 pushed by rv-jenkins
July 31, 2024 04:01 22m 0s master
master
July 31, 2024 04:01 22m 0s
Update dependency: deps/k_release (#2544) Bump Version and Start Release Job #800: Commit d1b17a1 pushed by rv-jenkins
July 30, 2024 18:27 20m 5s master
master
July 30, 2024 18:27 20m 5s
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2540) Bump Version and Start Release Job #799: Commit 57a0267 pushed by rv-jenkins
July 30, 2024 13:25 27m 47s master
master
July 30, 2024 13:25 27m 47s
Update dependency: deps/k_release (#2542) Bump Version and Start Release Job #798: Commit f33b28c pushed by rv-jenkins
July 30, 2024 03:45 21m 15s master
master
July 30, 2024 03:45 21m 15s
Update dependency: deps/k_release (#2539) Bump Version and Start Release Job #797: Commit 92153d0 pushed by rv-jenkins
July 29, 2024 18:42 19m 44s master
master
July 29, 2024 18:42 19m 44s
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2537) Bump Version and Start Release Job #796: Commit f227fe5 pushed by rv-jenkins
July 25, 2024 16:27 18m 59s master
master
July 25, 2024 16:27 18m 59s
Update dependency: deps/k_release (#2538) Bump Version and Start Release Job #795: Commit ba8be1a pushed by rv-jenkins
July 25, 2024 12:48 17m 59s master
master
July 25, 2024 12:48 17m 59s
Update dependency: deps/k_release (#2536) Bump Version and Start Release Job #794: Commit 65d9789 pushed by rv-jenkins
July 25, 2024 07:01 19m 57s master
master
July 25, 2024 07:01 19m 57s
eip-5656: implement MCOPY opcode (#2534) Bump Version and Start Release Job #793: Commit 8a6002c pushed by anvacaru
July 24, 2024 08:59 22m 51s master
master
July 24, 2024 08:59 22m 51s
Update dependency: deps/k_release (#2535) Bump Version and Start Release Job #792: Commit 0ecd31e pushed by anvacaru
July 23, 2024 15:49 24m 20s master
master
July 23, 2024 15:49 24m 20s
Update dependency: deps/k_release (#2533) Bump Version and Start Release Job #791: Commit 7f18be7 pushed by anvacaru
July 23, 2024 12:16 18m 52s master
master
July 23, 2024 12:16 18m 52s
Update dependency: deps/k_release (#2531) Bump Version and Start Release Job #790: Commit 32a2d4d pushed by tothtamas28
July 23, 2024 07:46 21m 24s master
master
July 23, 2024 07:46 21m 24s
Test for previously added simplification (#2530) Bump Version and Start Release Job #789: Commit 2e060f1 pushed by rv-jenkins
July 22, 2024 16:27 22m 48s master
master
July 22, 2024 16:27 22m 48s
Update dependency: deps/k_release (#2529) Bump Version and Start Release Job #788: Commit 85b99be pushed by tothtamas28
July 17, 2024 13:11 21m 3s master
master
July 17, 2024 13:11 21m 3s
Update dependency: deps/k_release (#2528) Bump Version and Start Release Job #787: Commit 0ee8707 pushed by rv-jenkins
July 16, 2024 13:01 21m 3s master
master
July 16, 2024 13:01 21m 3s
Add a new chop simplification lemma. (#2527) Bump Version and Start Release Job #786: Commit d6d151b pushed by PetarMax
July 16, 2024 11:15 26m 42s master
master
July 16, 2024 11:15 26m 42s
Update dependency: deps/k_release (#2526) Bump Version and Start Release Job #785: Commit aba19fb pushed by rv-jenkins
July 15, 2024 22:24 22m 20s master
master
July 15, 2024 22:24 22m 20s
Update dependency: deps/k_release (#2525) Bump Version and Start Release Job #784: Commit 66a5d8a pushed by rv-jenkins
July 13, 2024 19:41 20m 40s master
master
July 13, 2024 19:41 20m 40s
Replace run_process by run_process_2 (#2524) Bump Version and Start Release Job #783: Commit 492ad83 pushed by tothtamas28
July 11, 2024 13:19 20m 31s master
master
July 11, 2024 13:19 20m 31s