Skip to content

Actions: runtimeverification/kontrol

Actions

Bump Release

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependency: deps/kevm_release (#721) Bump Release #445: Commit 971b4c1 pushed by rv-jenkins
July 25, 2024 08:27 24s master
master
July 25, 2024 08:27 24s
Update dependency: deps/kevm_release (#719) Bump Release #444: Commit c9b216a pushed by rv-jenkins
July 24, 2024 17:41 25s master
master
July 24, 2024 17:41 25s
catch TypeError exceptions (#717) Bump Release #443: Commit 77b40c9 pushed by rv-jenkins
July 23, 2024 09:25 30s master
master
July 23, 2024 09:25 30s
Support symbolic contract storage slots with nonzero offsets (#663) Bump Release #442: Commit 359f183 pushed by rv-jenkins
July 23, 2024 08:02 32s master
master
July 23, 2024 08:02 32s
Update dependency: deps/kevm_release (#718) Bump Release #441: Commit 0a87d39 pushed by rv-jenkins
July 22, 2024 17:41 26s master
master
July 22, 2024 17:41 26s
Update warning on missing ast flag (#700) Bump Release #440: Commit fd82ac9 pushed by palinatolmach
July 22, 2024 09:17 26s master
master
July 22, 2024 09:17 26s
Add option to omit enum constraints (#687) Bump Release #439: Commit 6603ed8 pushed by rv-jenkins
July 19, 2024 23:23 26s master
master
July 19, 2024 23:23 26s
Update to release process dangling typo. Fix. Bump Release #438: Commit 09d7b78 pushed by F-WRunTime
July 19, 2024 19:11 26s master
master
July 19, 2024 19:11 26s
Hotfix/release process (#714) Bump Release #437: Commit 496ae50 pushed by F-WRunTime
July 19, 2024 19:09 30s master
master
July 19, 2024 19:09 30s
Update master push workflow, add new job to mitigate triggering recur… Bump Release #436: Commit f7a5080 pushed by F-WRunTime
July 19, 2024 18:44 15s master
master
July 19, 2024 18:44 15s
Drop merging back to master, causing infinite loop. Bump Release #435: Commit 968c427 pushed by F-WRunTime
July 19, 2024 16:48 14s master
master
July 19, 2024 16:48 14s
Workflow requires to checkout and sync master before finishing Bump Release #427: Commit a7fc1f9 pushed by F-WRunTime
July 19, 2024 15:22 15s master
master
July 19, 2024 15:22 15s
Set Version: 0.1.362 Bump Release #426: Commit a8e9163 pushed by F-WRunTime
July 19, 2024 15:22 16s master
master
July 19, 2024 15:22 16s
Bump version manually (#712) Bump Release #425: Commit 9e184fa pushed by F-WRunTime
July 19, 2024 15:10 15s master
master
July 19, 2024 15:10 15s
Whitelist storage: use List instead of Set (#709) Bump Release #424: Commit f030841 pushed by palinatolmach
July 19, 2024 10:11 11s master
master
July 19, 2024 10:11 11s
Missed a reference to the default branch (#708) Bump Release #423: Commit 9c03323 pushed by F-WRunTime
July 18, 2024 15:22 15s master
master
July 18, 2024 15:22 15s
Enable Public PR Submissions to run Testing. (#707) Bump Release #422: Commit 3244fe8 pushed by F-WRunTime
July 18, 2024 15:09 17s master
master
July 18, 2024 15:09 17s
Generate _notExternalAddress function in RecordedState (#701) Bump Release #421: Commit 6805381 pushed by palinatolmach
July 18, 2024 12:43 22m 48s master
master
July 18, 2024 12:43 22m 48s
Update dependency: deps/kevm_release (#705) Bump Release #420: Commit 1e471c7 pushed by rv-jenkins
July 17, 2024 20:02 23m 11s master
master
July 17, 2024 20:02 23m 11s
Mock function cheatcode (#680) Bump Release #419: Commit 302d446 pushed by palinatolmach
July 17, 2024 14:35 22m 42s master
master
July 17, 2024 14:35 22m 42s
Load correct account in allowChangesToStorage (#704) Bump Release #418: Commit 3cc4186 pushed by palinatolmach
July 17, 2024 12:42 22m 40s master
master
July 17, 2024 12:42 22m 40s
Support of assertEq on some dynamic length arrays (#605) Bump Release #417: Commit f7ee4d2 pushed by jinxinglim
July 17, 2024 09:26 24m 28s master
master
July 17, 2024 09:26 24m 28s
Update dependency: deps/kevm_release (#699) Bump Release #416: Commit 1f9bc24 pushed by rv-jenkins
July 16, 2024 14:25 22m 53s master
master
July 16, 2024 14:25 22m 53s
kontrol show to allow full path of contract (#692) Bump Release #415: Commit c188029 pushed by palinatolmach
July 16, 2024 11:05 22m 31s master
master
July 16, 2024 11:05 22m 31s
Update dependency: deps/kevm_release (#697) Bump Release #414: Commit 9125e27 pushed by palinatolmach
July 16, 2024 05:04 17m 12s master
master
July 16, 2024 05:04 17m 12s