Skip to content

Actions: runtimeverification/zkevm-harness

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependency: deps/kriscv_release Test PR #368: Pull request #87 synchronize by rv-jenkins
15m 1s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
15m 1s
Update dependency: deps/kriscv_release Test PR #367: Pull request #87 opened by rv-jenkins
59s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
59s
Update dependency: deps/kriscv_release Test PR #366: Pull request #86 synchronize by rv-jenkins
8m 49s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
8m 49s
Update dependency: deps/kriscv_release Test PR #365: Pull request #86 synchronize by rv-jenkins
1m 3s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
1m 3s
Update dependency: deps/kriscv_release Test PR #364: Pull request #86 synchronize by rv-jenkins
16m 11s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
16m 11s
Update dependency: deps/kriscv_release Test PR #363: Pull request #86 synchronize by rv-jenkins
1m 0s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
1m 0s
Update dependency: deps/kriscv_release Test PR #362: Pull request #86 synchronize by rv-jenkins
19m 22s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
19m 22s
Update dependency: deps/kriscv_release Test PR #361: Pull request #86 synchronize by rv-jenkins
55s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
55s
Update dependency: deps/kriscv_release Test PR #360: Pull request #86 synchronize by rv-jenkins
16m 13s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
16m 13s
Update dependency: deps/kriscv_release Test PR #359: Pull request #86 opened by rv-jenkins
1m 41s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
1m 41s
Update dependency: deps/kriscv_release Test PR #358: Pull request #85 synchronize by rv-jenkins
31m 13s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
31m 13s
Update dependency: deps/kriscv_release Test PR #357: Pull request #85 opened by rv-jenkins
1m 18s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
1m 18s
Update dependency: deps/kriscv_release Test PR #356: Pull request #83 synchronize by tothtamas28
13m 28s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
13m 28s
Update dependency: deps/kriscv_release Test PR #355: Pull request #83 synchronize by rv-jenkins
8m 58s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
8m 58s
Update dependency: deps/kriscv_release Test PR #354: Pull request #83 opened by rv-jenkins
1m 29s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
1m 29s
Add table of specifications Test PR #353: Pull request #82 synchronize by tothtamas28
11m 13s specs-html
specs-html
11m 13s
Add table of specifications Test PR #352: Pull request #82 opened by tothtamas28
6m 35s specs-html
specs-html
6m 35s
Add missing PUSH*, DUP* and SWAP* tests Test PR #351: Pull request #75 synchronize by tothtamas28
10m 4s push-dup-swap
push-dup-swap
10m 4s
Add missing PUSH*, DUP* and SWAP* tests Test PR #350: Pull request #75 synchronize by tothtamas28
10m 58s push-dup-swap
push-dup-swap
10m 58s
Add missing PUSH*, DUP* and SWAP* tests Test PR #349: Pull request #75 synchronize by tothtamas28
1m 21s push-dup-swap
push-dup-swap
1m 21s
Update cargo-risczero to version 2.3.1 Test PR #348: Pull request #76 opened by tothtamas28
12m 43s update-cargo-risczero
update-cargo-risczero
12m 43s
Add missing PUSH*, DUP* and SWAP* tests Test PR #347: Pull request #75 opened by tothtamas28
11m 4s push-dup-swap
push-dup-swap
11m 4s
Update dependency: deps/kriscv_release Test PR #346: Pull request #49 synchronize by rv-jenkins
10m 0s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
10m 0s
Update dependency: deps/kriscv_release Test PR #345: Pull request #49 synchronize by rv-jenkins
1m 1s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
1m 1s
Update dependency: deps/kriscv_release Test PR #344: Pull request #49 synchronize by rv-jenkins
13m 36s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
13m 36s