Skip to content

Actions: runtimeverification/evm-semantics

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
405 workflow runs
405 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update K Test PR #11263: Pull request #2796 synchronize by RaoulSchaffranek
17m 8s raoul/update-k
raoul/update-k
17m 8s
Update K Test PR #11262: Pull request #2796 synchronize by rv-jenkins
5m 26s raoul/update-k
raoul/update-k
5m 26s
Update K Test PR #11261: Pull request #2796 opened by RaoulSchaffranek
2m 36s raoul/update-k
raoul/update-k
2m 36s
Update K version in uv.lock Test PR #11260: Pull request #2795 opened by palinatolmach
1h 28m 18s update-k-version
update-k-version
1h 28m 18s
Fix K version fetching in update-version Test PR #11259: Pull request #2794 opened by palinatolmach
26m 2s fix-update-version-k-workflow
fix-update-version-k-workflow
26m 2s
Update dependency: deps/k_release Test PR #11258: Pull request #2792 synchronize by rv-jenkins
10m 17s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
10m 17s
Update dependency: deps/k_release Test PR #11257: Pull request #2792 opened by rv-jenkins
2m 4s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
2m 4s
Update dependency: deps/k_release Test PR #11256: Pull request #2791 synchronize by rv-jenkins
1h 31m 17s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1h 31m 17s
Update dependency: deps/k_release Test PR #11255: Pull request #2791 opened by rv-jenkins
2m 10s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
2m 10s
Trace code address Test PR #11254: Pull request #2790 synchronize by anvacaru
1h 15m 41s raoul/trace-code-address
raoul/trace-code-address
1h 15m 41s
Trace code address Test PR #11253: Pull request #2790 synchronize by RaoulSchaffranek
1h 13m 21s raoul/trace-code-address
raoul/trace-code-address
1h 13m 21s
Trace code address Test PR #11252: Pull request #2790 synchronize by RaoulSchaffranek
1h 18m 11s raoul/trace-code-address
raoul/trace-code-address
1h 18m 11s
Trace code address Test PR #11251: Pull request #2790 synchronize by RaoulSchaffranek
2m 45s raoul/trace-code-address
raoul/trace-code-address
2m 45s
Trace code address Test PR #11250: Pull request #2790 synchronize by RaoulSchaffranek
1h 7m 1s raoul/trace-code-address
raoul/trace-code-address
1h 7m 1s
Trace code address Test PR #11249: Pull request #2790 synchronize by RaoulSchaffranek
1h 14m 6s raoul/trace-code-address
raoul/trace-code-address
1h 14m 6s
Trace code address Test PR #11248: Pull request #2790 synchronize by RaoulSchaffranek
23m 28s raoul/trace-code-address
raoul/trace-code-address
23m 28s
Trace code address Test PR #11247: Pull request #2790 synchronize by RaoulSchaffranek
1h 8m 38s raoul/trace-code-address
raoul/trace-code-address
1h 8m 38s
Upstream first batch of lemmas from Lido engagement Test PR #11246: Pull request #2787 synchronize by lucasmt
57m 6s upstream-lido-lemmas
upstream-lido-lemmas
57m 6s
Trace code address Test PR #11245: Pull request #2790 opened by RaoulSchaffranek
36m 55s raoul/trace-code-address
raoul/trace-code-address
36m 55s
Upstream first batch of lemmas from Lido engagement Test PR #11244: Pull request #2787 synchronize by lucasmt
1h 1m 12s upstream-lido-lemmas
upstream-lido-lemmas
1h 1m 12s
Upstream first batch of lemmas from Lido engagement Test PR #11243: Pull request #2787 synchronize by anvacaru
2h 0m 38s upstream-lido-lemmas
upstream-lido-lemmas
2h 0m 38s
Add correct rule labels for create and create2 when --break-on-calls is used. Test PR #11242: Pull request #2788 opened by anvacaru
1h 28m 5s fix_break_on_calls
fix_break_on_calls
1h 28m 5s
Upstream symbolic bytes lookup, List membership lemmas Test PR #11241: Pull request #2702 synchronize by palinatolmach
1h 22m 23s add-bytes-lookup-lemmas
add-bytes-lookup-lemmas
1h 22m 23s
Upstream first batch of lemmas from Lido engagement Test PR #11240: Pull request #2787 synchronize by lucasmt
23m 58s upstream-lido-lemmas
upstream-lido-lemmas
23m 58s
Upstream symbolic bytes lookup, List membership lemmas Test PR #11239: Pull request #2702 synchronize by palinatolmach
1h 1m 21s add-bytes-lookup-lemmas
add-bytes-lookup-lemmas
1h 1m 21s