Skip to content

Actions: runtimeverification/kontrol

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
4,818 workflow runs
4,818 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependency: deps/z3 Test PR #5189: Pull request #925 opened by rv-jenkins
January 6, 2025 19:46 36m 58s _update-deps/runtimeverification/z3-images
_update-deps/runtimeverification/z3-images
January 6, 2025 19:46 36m 58s
Update dependency: deps/kevm_release Test PR #5188: Pull request #924 synchronize by rv-jenkins
January 6, 2025 19:06 40m 55s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
January 6, 2025 19:06 40m 55s
Update dependency: deps/kevm_release Test PR #5187: Pull request #924 synchronize by rv-jenkins
January 6, 2025 19:02 4m 3s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
January 6, 2025 19:02 4m 3s
Update dependency: deps/kevm_release Test PR #5186: Pull request #924 synchronize by rv-jenkins
January 6, 2025 17:13 1h 31m 22s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
January 6, 2025 17:13 1h 31m 22s
Update dependency: deps/kevm_release Test PR #5185: Pull request #924 opened by rv-jenkins
January 6, 2025 17:10 3m 19s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
January 6, 2025 17:10 3m 19s
Reduce the number of processes for stable integration test with booster Test PR #5184: Pull request #914 synchronize by palinatolmach
January 6, 2025 12:27 1h 17m 5s reduce-parallel
reduce-parallel
January 6, 2025 12:27 1h 17m 5s
Implement kevm.forgetBranch cheatcode Test PR #5183: Pull request #899 synchronize by PetarMax
December 18, 2024 21:05 39m 41s abstraction-cheatcodes
abstraction-cheatcodes
December 18, 2024 21:05 39m 41s
Add from_option_string to RPCOptions Test PR #5182: Pull request #921 synchronize by palinatolmach
December 18, 2024 10:47 34m 19s hotfix/no-log-rewrites
hotfix/no-log-rewrites
December 18, 2024 10:47 34m 19s
Add from_option_string to RPCOptions Test PR #5181: Pull request #921 opened by anvacaru
December 18, 2024 10:02 44m 58s hotfix/no-log-rewrites
hotfix/no-log-rewrites
December 18, 2024 10:02 44m 58s
Update dependency: deps/kevm_release Test PR #5180: Pull request #920 synchronize by rv-jenkins
December 18, 2024 09:14 54m 12s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
December 18, 2024 09:14 54m 12s
Update dependency: deps/kevm_release Test PR #5179: Pull request #920 opened by rv-jenkins
December 18, 2024 09:11 3m 6s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
December 18, 2024 09:11 3m 6s
Update dependency: deps/kevm_release Test PR #5178: Pull request #918 synchronize by PetarMax
December 17, 2024 16:26 52m 12s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
December 17, 2024 16:26 52m 12s
Update dependency: deps/kevm_release Test PR #5177: Pull request #918 synchronize by PetarMax
December 17, 2024 16:26 1m 9s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
December 17, 2024 16:26 1m 9s
Adding KCFG optimization option Test PR #5176: Pull request #919 synchronize by PetarMax
December 17, 2024 16:12 3m 29s petar/optimize-kcfg
petar/optimize-kcfg
December 17, 2024 16:12 3m 29s
Adding KCFG optimization option Test PR #5175: Pull request #919 opened by PetarMax
December 17, 2024 16:11 1m 15s petar/optimize-kcfg
petar/optimize-kcfg
December 17, 2024 16:11 1m 15s
Update dependency: deps/kevm_release Test PR #5174: Pull request #918 synchronize by rv-jenkins
December 17, 2024 12:36 34m 46s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
December 17, 2024 12:36 34m 46s
Update dependency: deps/kevm_release Test PR #5173: Pull request #918 opened by rv-jenkins
December 17, 2024 12:33 3m 38s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
December 17, 2024 12:33 3m 38s
CSE with merging node Test PR #5172: Pull request #889 synchronize by Stevengre
December 17, 2024 12:06 3m 12s jh/cse-with-merging-node
jh/cse-with-merging-node
December 17, 2024 12:06 3m 12s
CSE with merging node Test PR #5171: Pull request #889 synchronize by Stevengre
December 17, 2024 08:21 3m 9s jh/cse-with-merging-node
jh/cse-with-merging-node
December 17, 2024 08:21 3m 9s
Update dependency: deps/kevm_release Test PR #5170: Pull request #917 synchronize by rv-jenkins
December 17, 2024 08:02 34m 52s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
December 17, 2024 08:02 34m 52s
Update dependency: deps/kevm_release Test PR #5169: Pull request #917 synchronize by rv-jenkins
December 17, 2024 07:58 4m 33s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
December 17, 2024 07:58 4m 33s
Reduce the number of processes for stable integration test with booster Test PR #5168: Pull request #914 synchronize by Stevengre
December 17, 2024 04:47 59m 27s reduce-parallel
reduce-parallel
December 17, 2024 04:47 59m 27s
CSE with merging node Test PR #5167: Pull request #889 synchronize by Stevengre
December 17, 2024 04:35 3m 4s jh/cse-with-merging-node
jh/cse-with-merging-node
December 17, 2024 04:35 3m 4s
Update dependency: deps/kevm_release Test PR #5166: Pull request #917 synchronize by rv-jenkins
December 16, 2024 20:01 52m 58s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
December 16, 2024 20:01 52m 58s
Update dependency: deps/kevm_release Test PR #5165: Pull request #917 synchronize by rv-jenkins
December 16, 2024 19:57 3m 51s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
December 16, 2024 19:57 3m 51s