Skip to content

Actions: runtimeverification/evm-semantics

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
6,052 workflow runs
6,052 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stabilising chop lemmas Test PR #10412: Pull request #2613 synchronize by anvacaru
September 10, 2024 06:26 1h 29m 14s petar/chop-lemmas
petar/chop-lemmas
September 10, 2024 06:26 1h 29m 14s
Update dependency: deps/k_release Test PR #10411: Pull request #2614 synchronize by anvacaru
September 10, 2024 06:20 48m 1s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 10, 2024 06:20 48m 1s
Update dependency: deps/k_release Test PR #10410: Pull request #2614 synchronize by rv-jenkins
September 10, 2024 02:27 58m 27s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 10, 2024 02:27 58m 27s
Update dependency: deps/k_release Test PR #10409: Pull request #2614 synchronize by rv-jenkins
September 10, 2024 02:25 2m 34s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 10, 2024 02:25 2m 34s
#asWord simplifications Test PR #10408: Pull request #2604 synchronize by PetarMax
September 9, 2024 21:31 45m 6s petar/as-word-lemmas
petar/as-word-lemmas
September 9, 2024 21:31 45m 6s
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin Test PR #10407: Pull request #2615 synchronize by rv-jenkins
September 9, 2024 20:33 59m 8s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
September 9, 2024 20:33 59m 8s
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin Test PR #10406: Pull request #2615 opened by rv-jenkins
September 9, 2024 20:31 2m 24s _update-deps/runtimeverification/blockchain-k-plugin
_update-deps/runtimeverification/blockchain-k-plugin
September 9, 2024 20:31 2m 24s
Update dependency: deps/k_release Test PR #10405: Pull request #2614 synchronize by rv-jenkins
September 9, 2024 19:16 1h 5m 44s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 9, 2024 19:16 1h 5m 44s
Update dependency: deps/k_release Test PR #10404: Pull request #2614 opened by rv-jenkins
September 9, 2024 19:14 2m 19s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 9, 2024 19:14 2m 19s
#asWord simplifications Test PR #10403: Pull request #2604 synchronize by PetarMax
September 9, 2024 16:00 20m 48s petar/as-word-lemmas
petar/as-word-lemmas
September 9, 2024 16:00 20m 48s
Stabilising chop lemmas Test PR #10402: Pull request #2613 synchronize by PetarMax
September 9, 2024 16:00 26m 6s petar/chop-lemmas
petar/chop-lemmas
September 9, 2024 16:00 26m 6s
Stabilising chop lemmas Test PR #10401: Pull request #2613 synchronize by PetarMax
September 9, 2024 13:17 1h 5m 19s petar/chop-lemmas
petar/chop-lemmas
September 9, 2024 13:17 1h 5m 19s
Stabilising chop lemmas Test PR #10400: Pull request #2613 synchronize by PetarMax
September 9, 2024 13:01 15m 56s petar/chop-lemmas
petar/chop-lemmas
September 9, 2024 13:01 15m 56s
Stabilising chop lemmas Test PR #10399: Pull request #2613 synchronize by PetarMax
September 9, 2024 12:38 27m 47s petar/chop-lemmas
petar/chop-lemmas
September 9, 2024 12:38 27m 47s
Stabilising chop lemmas Test PR #10398: Pull request #2613 synchronize by PetarMax
September 9, 2024 12:36 2m 58s petar/chop-lemmas
petar/chop-lemmas
September 9, 2024 12:36 2m 58s
Stabilising chop lemmas Test PR #10397: Pull request #2613 synchronize by PetarMax
September 9, 2024 12:35 1m 55s petar/chop-lemmas
petar/chop-lemmas
September 9, 2024 12:35 1m 55s
Stabilising chop lemmas Test PR #10396: Pull request #2613 synchronize by PetarMax
September 9, 2024 12:16 19m 6s petar/chop-lemmas
petar/chop-lemmas
September 9, 2024 12:16 19m 6s
Removing some unneeded lemmas Test PR #10395: Pull request #2612 synchronize by PetarMax
September 9, 2024 12:16 44m 42s petar/removing-unneeded-lemmas
petar/removing-unneeded-lemmas
September 9, 2024 12:16 44m 42s
Stabilising chop lemmas Test PR #10394: Pull request #2613 opened by PetarMax
September 9, 2024 11:51 26m 7s petar/chop-lemmas
petar/chop-lemmas
September 9, 2024 11:51 26m 7s
Removing some unneeded lemmas Test PR #10393: Pull request #2612 opened by PetarMax
September 9, 2024 11:18 48m 45s petar/removing-unneeded-lemmas
petar/removing-unneeded-lemmas
September 9, 2024 11:18 48m 45s
#asWord simplifications Test PR #10392: Pull request #2604 synchronize by PetarMax
September 7, 2024 13:02 1h 7m 42s petar/as-word-lemmas
petar/as-word-lemmas
September 7, 2024 13:02 1h 7m 42s
#asWord simplifications Test PR #10391: Pull request #2604 synchronize by PetarMax
September 7, 2024 08:05 57m 24s petar/as-word-lemmas
petar/as-word-lemmas
September 7, 2024 08:05 57m 24s
Typos and minor lemma clean-up Test PR #10390: Pull request #2611 synchronize by PetarMax
September 7, 2024 08:05 18m 12s petar/typos-and-cleanup
petar/typos-and-cleanup
September 7, 2024 08:05 18m 12s
Typos and minor lemma clean-up Test PR #10389: Pull request #2611 synchronize by PetarMax
September 7, 2024 08:05 40s petar/typos-and-cleanup
petar/typos-and-cleanup
September 7, 2024 08:05 40s
Update dependency: deps/k_release Test PR #10388: Pull request #2610 synchronize by rv-jenkins
September 6, 2024 23:24 58m 45s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 6, 2024 23:24 58m 45s