Skip to content

Actions: runtimeverification/kontrol

Actions

Bump Release

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Give pytest an upper bound <8.0.0 (#327) Bump Release #183: Commit c55f2be pushed by rv-jenkins
February 3, 2024 00:59 21m 15s master
master
February 3, 2024 00:59 21m 15s
Add support for NatSpec comments in proofs (#320) Bump Release #182: Commit d91bc90 pushed by anvacaru
February 2, 2024 09:50 51m 9s master
master
February 2, 2024 09:50 51m 9s
Refactor production of initial terms, factor out method identificatio… Bump Release #181: Commit 8fab824 pushed by rv-jenkins
February 1, 2024 06:47 30m 39s master
master
February 1, 2024 06:47 30m 39s
Update dependency: deps/kevm_release (#323) Bump Release #180: Commit 9aed0f8 pushed by rv-jenkins
January 30, 2024 20:42 52m 5s master
master
January 30, 2024 20:42 52m 5s
Update dependency: deps/kevm_release (#314) Bump Release #179: Commit 9ef828b pushed by anvacaru
January 25, 2024 09:32 36m 52s master
master
January 25, 2024 09:32 36m 52s
Update dependency: deps/kevm_release (#311) Bump Release #178: Commit 4fbb388 pushed by rv-jenkins
January 24, 2024 16:27 24m 36s master
master
January 24, 2024 16:27 24m 36s
Refactor init and final terms for symbolic exploration (#264) Bump Release #177: Commit cc6c7ae pushed by PetarMax
January 24, 2024 10:07 46m 46s master
master
January 24, 2024 10:07 46m 46s
Improvements to proof-loading speed on reruns (#308) Bump Release #176: Commit 7c6fac7 pushed by rv-jenkins
January 24, 2024 07:02 32m 53s master
master
January 24, 2024 07:02 32m 53s
Publish Kontrol to Cachix binary cache (#294) Bump Release #175: Commit 0874057 pushed by rv-jenkins
January 24, 2024 03:24 33m 2s master
master
January 24, 2024 03:24 33m 2s
Display rule logs in custom view (#309) Bump Release #174: Commit fe85286 pushed by rv-jenkins
January 23, 2024 20:42 22m 34s master
master
January 23, 2024 20:42 22m 34s
Update dependency: deps/kevm_release (#310) Bump Release #173: Commit c6c9fb9 pushed by rv-jenkins
January 23, 2024 06:27 24m 20s master
master
January 23, 2024 06:27 24m 20s
Update dependency: deps/kevm_release (#307) Bump Release #172: Commit 10d5d43 pushed by rv-jenkins
January 22, 2024 23:24 19m 33s master
master
January 22, 2024 23:24 19m 33s
Fix pickling issue on deep proof objects (#306) Bump Release #171: Commit 9effe20 pushed by rv-jenkins
January 22, 2024 21:23 28m 28s master
master
January 22, 2024 21:23 28m 28s
Update dependency: deps/kevm_release (#304) Bump Release #170: Commit 262b515 pushed by rv-jenkins
January 22, 2024 13:27 22m 31s master
master
January 22, 2024 13:27 22m 31s
Update dependency: deps/kevm_release (#302) Bump Release #169: Commit 02c0922 pushed by rv-jenkins
January 21, 2024 20:24 23m 25s master
master
January 21, 2024 20:24 23m 25s
Update dependency: deps/kevm_release (#300) Bump Release #168: Commit d1ea1d2 pushed by rv-jenkins
January 20, 2024 02:15 20m 55s master
master
January 20, 2024 02:15 20m 55s
Set Version: 0.1.122 Bump Release #167: Commit 309fc7d pushed by rv-jenkins
January 19, 2024 16:34 Failure ci/master-cachix-push
ci/master-cachix-push
January 19, 2024 16:34 Failure
Merge branch 'master' into ci/master-cachix-push Bump Release #166: Commit 284b289 pushed by F-WRunTime
January 19, 2024 16:34 Failure ci/master-cachix-push
ci/master-cachix-push
January 19, 2024 16:34 Failure
Change visibility of vm in deployment summary to private (#297) Bump Release #165: Commit db28895 pushed by rv-jenkins
January 19, 2024 10:42 9m 34s master
master
January 19, 2024 10:42 9m 34s
Set up cells (#287) Bump Release #164: Commit ce040b5 pushed by lisandrasilva
January 18, 2024 15:41 22m 2s master
master
January 18, 2024 15:41 22m 2s
Avoid using the same priority for rules that apply on the same KItem … Bump Release #163: Commit 2336dee pushed by rv-jenkins
January 17, 2024 19:22 29m 50s master
master
January 17, 2024 19:22 29m 50s
Update dependency: deps/kevm_release (#280) Bump Release #162: Commit f330065 pushed by rv-jenkins
January 16, 2024 16:44 30m 14s master
master
January 16, 2024 16:44 30m 14s
Implement fast summarization (#271) Bump Release #161: Commit fff0588 pushed by rv-jenkins
January 16, 2024 07:02 20m 39s master
master
January 16, 2024 07:02 20m 39s
Update dependency: deps/kevm_release (#277) Bump Release #160: Commit cacc751 pushed by rv-jenkins
January 16, 2024 06:02 18m 58s master
master
January 16, 2024 06:02 18m 58s
Added comment to kontrol summary auto-generated file (#263) Bump Release #159: Commit 0e238a7 pushed by rv-jenkins
January 15, 2024 22:02 25m 14s master
master
January 15, 2024 22:02 25m 14s
ProTip! You can narrow down the results and go further in time using created:<2024-01-15 or the other filters available.