Skip to content

Actions: runtimeverification/kontrol

Actions

Bump Release

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated documentation link in output (#129) Bump Release #79: Commit abfdeef pushed by lisandrasilva
October 27, 2023 13:55 14m 41s master
master
October 27, 2023 13:55 14m 41s
Add foundry.md (#135) Bump Release #78: Commit 08de16a pushed by rv-jenkins
October 27, 2023 08:02 12m 42s master
master
October 27, 2023 08:02 12m 42s
Simplify returning of proof results (#114) Bump Release #77: Commit e4f1d6e pushed by rv-jenkins
October 25, 2023 18:02 12m 41s master
master
October 25, 2023 18:02 12m 41s
Fix _method_to_cfg (#109) Bump Release #76: Commit cf5e56b pushed by rv-jenkins
October 24, 2023 00:03 15m 56s master
master
October 24, 2023 00:03 15m 56s
Update dependency: deps/kevm_release (#119) Bump Release #75: Commit 868b197 pushed by rv-jenkins
October 23, 2023 21:22 15m 6s master
master
October 23, 2023 21:22 15m 6s
Encapsulate program-level options (#108) Bump Release #74: Commit 132a6c5 pushed by rv-jenkins
October 21, 2023 01:26 14m 3s master
master
October 21, 2023 01:26 14m 3s
Update dependency: deps/kevm_release (#116) Bump Release #73: Commit 04ede35 pushed by rv-jenkins
October 20, 2023 08:26 12m 32s master
master
October 20, 2023 08:26 12m 32s
Fix master deployments (#111) Bump Release #72: Commit b966121 pushed by rv-jenkins
October 19, 2023 13:29 15m 3s master
master
October 19, 2023 13:29 15m 3s
Remove option to not simplify initial states (#113) Bump Release #71: Commit 21f786c pushed by rv-jenkins
October 19, 2023 09:24 13m 55s master
master
October 19, 2023 09:24 13m 55s
Update dependency: deps/kevm_release (#99) Bump Release #70: Commit ec83f45 pushed by rv-jenkins
October 18, 2023 22:43 20s master
master
October 18, 2023 22:43 20s
Allow users to select version of solc via kup (#105) Bump Release #69: Commit bf4f567 pushed by goodlyrottenapple
October 18, 2023 15:44 11m 21s master
master
October 18, 2023 15:44 11m 21s
Remove unused private functions (#106) Bump Release #68: Commit 879cf58 pushed by rv-jenkins
October 18, 2023 12:49 18m 15s master
master
October 18, 2023 12:49 18m 15s
Remove overlooked calls to print (#97) Bump Release #67: Commit da2afa9 pushed by rv-jenkins
October 13, 2023 16:27 13m 21s master
master
October 13, 2023 16:27 13m 21s
Ci/use z3 image (#86) Bump Release #66: Commit f2aa083 pushed by rv-jenkins
October 12, 2023 15:42 16m 37s master
master
October 12, 2023 15:42 16m 37s
The order of notifying downstreams happens before artifacts are ready… Bump Release #65: Commit d6efed1 pushed by rv-jenkins
October 11, 2023 22:02 13m 36s master
master
October 11, 2023 22:02 13m 36s
Execution of contract initialization code (#54) Bump Release #64: Commit 27d42f3 pushed by rv-jenkins
October 11, 2023 02:27 11m 58s master
master
October 11, 2023 02:27 11m 58s
Update dependency: deps/kevm_release (#94) Bump Release #63: Commit 75ad658 pushed by rv-jenkins
October 10, 2023 17:42 17m 38s master
master
October 10, 2023 17:42 17m 38s
Update dependency: deps/kevm_release (#87) Bump Release #62: Commit c8aca6b pushed by rv-jenkins
October 10, 2023 09:03 24m 16s master
master
October 10, 2023 09:03 24m 16s
Clarify --test functionality for kontrol prove (#88) Bump Release #61: Commit c026306 pushed by rv-jenkins
October 10, 2023 06:27 26m 45s master
master
October 10, 2023 06:27 26m 45s
Update dependency: deps/kevm_release (#82) Bump Release #60: Commit fb226b6 pushed by rv-jenkins
October 6, 2023 11:23 20m 45s master
master
October 6, 2023 11:23 20m 45s
Use fast CI machines for proof tests (#81) Bump Release #59: Commit 39671a7 pushed by rv-jenkins
October 5, 2023 21:03 15m 0s master
master
October 5, 2023 21:03 15m 0s
Show kontrol version number with the kontrol version command (#77) Bump Release #58: Commit 2182efe pushed by spencerhaoxiao
October 5, 2023 15:10 14m 45s master
master
October 5, 2023 15:10 14m 45s
Use infinite gas by default, add setGas cheatcode (#57) Bump Release #57: Commit 336c92e pushed by rv-jenkins
October 4, 2023 14:02 16m 11s master
master
October 4, 2023 14:02 16m 11s
Refactor proof setup (#63) Bump Release #56: Commit f624112 pushed by rv-jenkins
October 4, 2023 10:42 15m 9s master
master
October 4, 2023 10:42 15m 9s
Update dependency: deps/kevm_release (#68) Bump Release #55: Commit b20e7c8 pushed by ehildenb
October 3, 2023 17:32 20m 7s master
master
October 3, 2023 17:32 20m 7s
ProTip! You can narrow down the results and go further in time using created:<2023-10-03 or the other filters available.