Skip to content

Actions: runtimeverification/evm-semantics

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
2,222 workflow run results
2,222 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleanup proof test-suites Test PR #9446: Pull request #2472 synchronize by rv-jenkins
June 7, 2024 21:49 1h 57m 40s cleanup-proofs
cleanup-proofs
June 7, 2024 21:49 1h 57m 40s
Cleanup proof test-suites Test PR #9445: Pull request #2472 opened by ehildenb
June 7, 2024 21:49 22s cleanup-proofs
cleanup-proofs
June 7, 2024 21:49 22s
Add option to use booster-dev binary for execution of proofs Test PR #9444: Pull request #2466 synchronize by ehildenb
June 7, 2024 15:50 1h 27m 39s conf-test-booster-dev
conf-test-booster-dev
June 7, 2024 15:50 1h 27m 39s
Have <jumpDests> as Bytes instead of Set Test PR #9443: Pull request #2471 synchronize by PetarMax
June 7, 2024 15:03 1h 30m 21s jumpdests-bytes
jumpdests-bytes
June 7, 2024 15:03 1h 30m 21s
Add option to use booster-dev binary for execution of proofs Test PR #9442: Pull request #2466 synchronize by rv-jenkins
June 7, 2024 14:22 1h 28m 8s conf-test-booster-dev
conf-test-booster-dev
June 7, 2024 14:22 1h 28m 8s
Add option to use booster-dev binary for execution of proofs Test PR #9441: Pull request #2466 synchronize by ehildenb
June 7, 2024 14:22 26s conf-test-booster-dev
conf-test-booster-dev
June 7, 2024 14:22 26s
Have <jumpDests> as Bytes instead of Set Test PR #9440: Pull request #2471 synchronize by rv-jenkins
June 7, 2024 12:55 2m 24s jumpdests-bytes
jumpdests-bytes
June 7, 2024 12:55 2m 24s
Have <jumpDests> as Bytes instead of Set Test PR #9439: Pull request #2471 opened by anvacaru
June 7, 2024 12:55 26s jumpdests-bytes
jumpdests-bytes
June 7, 2024 12:55 26s
Update dependency: deps/k_release Test PR #9438: Pull request #2470 synchronize by rv-jenkins
June 6, 2024 20:51 10m 17s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
June 6, 2024 20:51 10m 17s
Update dependency: deps/k_release Test PR #9437: Pull request #2470 synchronize by rv-jenkins
June 6, 2024 20:46 5m 3s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
June 6, 2024 20:46 5m 3s
Update dependency: deps/k_release Test PR #9436: Pull request #2470 opened by rv-jenkins
June 6, 2024 20:46 21s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
June 6, 2024 20:46 21s
Add option to use booster-dev binary for execution of proofs Test PR #9435: Pull request #2466 synchronize by rv-jenkins
June 6, 2024 20:24 3h 2m 40s conf-test-booster-dev
conf-test-booster-dev
June 6, 2024 20:24 3h 2m 40s
Add option to use booster-dev binary for execution of proofs Test PR #9434: Pull request #2466 synchronize by ehildenb
June 6, 2024 20:23 44s conf-test-booster-dev
conf-test-booster-dev
June 6, 2024 20:23 44s
Add option to use booster-dev binary for execution of proofs Test PR #9433: Pull request #2466 synchronize by rv-jenkins
June 6, 2024 19:39 44m 39s conf-test-booster-dev
conf-test-booster-dev
June 6, 2024 19:39 44m 39s
Add option to use booster-dev binary for execution of proofs Test PR #9432: Pull request #2466 synchronize by ehildenb
June 6, 2024 19:38 21s conf-test-booster-dev
conf-test-booster-dev
June 6, 2024 19:38 21s
WIP: Check valid jump dests on demand Test PR #9431: Pull request #2112 synchronize by rv-jenkins
June 6, 2024 19:00 45m 42s raoul/is-valid-jump-dest
raoul/is-valid-jump-dest
June 6, 2024 19:00 45m 42s
WIP: Check valid jump dests on demand Test PR #9430: Pull request #2112 synchronize by palinatolmach
June 6, 2024 19:00 48s raoul/is-valid-jump-dest
raoul/is-valid-jump-dest
June 6, 2024 19:00 48s
WIP: Check valid jump dests on demand Test PR #9429: Pull request #2112 synchronize by palinatolmach
June 6, 2024 18:47 13m 1s raoul/is-valid-jump-dest
raoul/is-valid-jump-dest
June 6, 2024 18:47 13m 1s
Update dependency: deps/k_release Test PR #9428: Pull request #2468 synchronize by rv-jenkins
June 6, 2024 18:21 1h 47m 44s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
June 6, 2024 18:21 1h 47m 44s
Factor out vat arithmetic in proof-reuse for MCD Test PR #9427: Pull request #2467 synchronize by ehildenb
June 6, 2024 18:16 4m 21s vat-arithmetic
vat-arithmetic
June 6, 2024 18:16 4m 21s
Update dependency: deps/k_release Test PR #9426: Pull request #2468 synchronize by rv-jenkins
June 6, 2024 18:16 4m 31s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
June 6, 2024 18:16 4m 31s
First draft of the USL API Test PR #9425: Pull request #2469 opened by theo25
June 6, 2024 18:16 2h 8m 16s usl-api
usl-api
June 6, 2024 18:16 2h 8m 16s
Factor out vat arithmetic in proof-reuse for MCD Test PR #9424: Pull request #2467 synchronize by rv-jenkins
June 6, 2024 18:05 14m 16s vat-arithmetic
vat-arithmetic
June 6, 2024 18:05 14m 16s
Factor out vat arithmetic in proof-reuse for MCD Test PR #9423: Pull request #2467 synchronize by ehildenb
June 6, 2024 18:04 23s vat-arithmetic
vat-arithmetic
June 6, 2024 18:04 23s
Update dependency: deps/k_release Test PR #9422: Pull request #2468 synchronize by rv-jenkins
June 6, 2024 17:33 45m 12s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
June 6, 2024 17:33 45m 12s