Skip to content

Actions: runtimeverification/kontrol

Actions

Bump Release

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add from_option_string to RPCOptions (#921) Bump Release #586: Commit 40459b1 pushed by automergerpr-permission-manager bot
December 18, 2024 12:30 18s master
master
December 18, 2024 12:30 18s
Update dependency: deps/kevm_release (#920) Bump Release #585: Commit ee38215 pushed by automergerpr-permission-manager bot
December 18, 2024 10:27 16s master
master
December 18, 2024 10:27 16s
Update dependency: deps/kevm_release (#918) Bump Release #584: Commit cd6e77b pushed by automergerpr-permission-manager bot
December 17, 2024 17:26 19s master
master
December 17, 2024 17:26 19s
Update dependency: deps/kevm_release (#917) Bump Release #583: Commit 4b8a59d pushed by automergerpr-permission-manager bot
December 17, 2024 09:43 15s master
master
December 17, 2024 09:43 15s
Update dependency: deps/kevm_release (#911) Bump Release #582: Commit 65e3d02 pushed by PetarMax
December 16, 2024 14:58 15s master
master
December 16, 2024 14:58 15s
Set processed_link_refs to true only in setup or constructor (#… Bump Release #581: Commit eb5f0ca pushed by automergerpr-permission-manager bot
December 16, 2024 10:02 15s master
master
December 16, 2024 10:02 15s
Fix nested struct array rule generation (#915) Bump Release #580: Commit 812743c pushed by automergerpr-permission-manager bot
December 16, 2024 06:29 18s master
master
December 16, 2024 06:29 18s
Enable publishing a Docker image from a branch (#913) Bump Release #579: Commit 0ec85db pushed by automergerpr-permission-manager bot
December 13, 2024 15:27 19s master
master
December 13, 2024 15:27 19s
exec_init: stop appending the storageLayout to foundry.toml (#910) Bump Release #578: Commit cc9afb7 pushed by automergerpr-permission-manager bot
December 10, 2024 18:46 13s master
master
December 10, 2024 18:46 13s
improve the timeout to avoid the error caused by it. (#909) Bump Release #577: Commit 6302093 pushed by Stevengre
December 10, 2024 08:00 14s master
master
December 10, 2024 08:00 14s
Add cheatcodes that generate symbolic variables with custom names (#902) Bump Release #576: Commit eb61949 pushed by automergerpr-permission-manager bot
December 9, 2024 16:46 19s master
master
December 9, 2024 16:46 19s
Turn off O2 by default, add it to kontrol.toml (#907) Bump Release #575: Commit d8dad9e pushed by automergerpr-permission-manager bot
December 8, 2024 17:42 16s master
master
December 8, 2024 17:42 16s
Update dependency: deps/kevm_release (#904) Bump Release #574: Commit b5a3f17 pushed by automergerpr-permission-manager bot
December 5, 2024 19:23 15s master
master
December 5, 2024 19:23 15s
Update dependency: deps/kevm_release (#903) Bump Release #573: Commit 8a3ac62 pushed by automergerpr-permission-manager bot
December 5, 2024 17:26 14s master
master
December 5, 2024 17:26 14s
remove unused empty_config arg (#901) Bump Release #572: Commit 1a953d9 pushed by anvacaru
December 4, 2024 14:52 15s master
master
December 4, 2024 14:52 15s
Add a rule removing init code size limit checks (#900) Bump Release #571: Commit 3311bbe pushed by palinatolmach
December 3, 2024 17:44 17s master
master
December 3, 2024 17:44 17s
Update dependency: deps/kevm_release (#898) Bump Release #570: Commit 52a450e pushed by anvacaru
November 29, 2024 16:56 13s master
master
November 29, 2024 16:56 13s
Option --extra-module for including lemmas modules dynamically in `… Bump Release #569: Commit 564eef6 pushed by rv-jenkins
November 27, 2024 18:29 13s master
master
November 27, 2024 18:29 13s
Disable code size checks, minor fixes (#897) Bump Release #568: Commit 853ef88 pushed by rv-jenkins
November 27, 2024 14:02 16s master
master
November 27, 2024 14:02 16s
Update dependency: deps/kevm_release (#895) Bump Release #567: Commit 7587f91 pushed by rv-jenkins
November 26, 2024 19:23 16s master
master
November 26, 2024 19:23 16s
Report failures in setUp similarly to tests (#894) Bump Release #566: Commit ab20df7 pushed by rv-jenkins
November 26, 2024 15:27 14s master
master
November 26, 2024 15:27 14s
Update dependency: deps/kevm_release (#893) Bump Release #565: Commit 801fbc6 pushed by rv-jenkins
November 26, 2024 10:27 18s master
master
November 26, 2024 10:27 18s
Fix struct unpacking in libraries (#892) Bump Release #564: Commit 27e4914 pushed by rv-jenkins
November 26, 2024 06:02 14s master
master
November 26, 2024 06:02 14s
Propagate forge build error message to kontrol build output (#891) Bump Release #563: Commit 9d4eb66 pushed by rv-jenkins
November 22, 2024 05:42 15s master
master
November 22, 2024 05:42 15s
Add support for most random cheatcodes (#877) Bump Release #562: Commit 5f496c3 pushed by rv-jenkins
November 20, 2024 07:25 18s master
master
November 20, 2024 07:25 18s