Skip to content

Actions: runtimeverification/zkevm-harness

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
371 workflow runs
371 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add test claims for MSTORE* opcodes Test PR #246: Pull request #36 synchronize by tothtamas28
June 16, 2025 15:19 10m 28s mstore-tests
mstore-tests
June 16, 2025 15:19 10m 28s
Add test claims for MSTORE* opcodes Test PR #245: Pull request #36 opened by tothtamas28
June 16, 2025 15:19 55s mstore-tests
mstore-tests
June 16, 2025 15:19 55s
Update dependency: deps/kriscv_release Test PR #244: Pull request #35 synchronize by rv-jenkins
June 16, 2025 09:48 14m 28s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
June 16, 2025 09:48 14m 28s
pyproject.toml: Sync Version 0.1.105 Update Dependencies #125: Commit 05e174e pushed by rv-jenkins
June 16, 2025 09:48 44s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
June 16, 2025 09:48 44s
Update dependency: deps/kriscv_release Test PR #243: Pull request #35 synchronize by tothtamas28
June 16, 2025 09:47 55s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
June 16, 2025 09:47 55s
deps/kriscv_release: Set Version 0.1.105 Update Dependencies #124: Commit a84df7c pushed by tothtamas28
June 16, 2025 09:47 37s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
June 16, 2025 09:47 37s
Add test claim for MLOAD Test PR #242: Pull request #34 synchronize by tothtamas28
June 16, 2025 09:20 13m 32s mload-opcode
mload-opcode
June 16, 2025 09:20 13m 32s
Add claims for SWAP* opcodes Test PR #241: Pull request #32 synchronize by tothtamas28
June 16, 2025 09:03 9m 57s swap-opcode
swap-opcode
June 16, 2025 09:03 9m 57s
Update dependency: deps/kriscv_release Test PR #240: Pull request #35 synchronize by rv-jenkins
June 13, 2025 09:12 4m 21s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
June 13, 2025 09:12 4m 21s
pyproject.toml: Sync Version 0.1.105 Update Dependencies #123: Commit d7e83bb pushed by rv-jenkins
June 13, 2025 09:12 42s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
June 13, 2025 09:12 42s
Update dependency: deps/kriscv_release Test PR #239: Pull request #35 synchronize by rv-jenkins
June 13, 2025 09:11 58s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
June 13, 2025 09:11 58s
deps/kriscv_release: Set Version 0.1.105 Update Dependencies #122: Commit b3f7e44 pushed by rv-jenkins
June 13, 2025 09:11 43s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
June 13, 2025 09:11 43s
Update dependency: deps/kriscv_release Test PR #238: Pull request #35 synchronize by rv-jenkins
June 13, 2025 07:00 9m 21s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
June 13, 2025 07:00 9m 21s
pyproject.toml: Sync Version 0.1.104 Update Dependencies #121: Commit 4f519ad pushed by rv-jenkins
June 13, 2025 07:00 42s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
June 13, 2025 07:00 42s
Update dependency: deps/kriscv_release Test PR #237: Pull request #35 synchronize by rv-jenkins
June 13, 2025 06:59 52s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
June 13, 2025 06:59 52s
deps/kriscv_release: Set Version 0.1.104 Update Dependencies #120: Commit 15e89f4 pushed by rv-jenkins
June 13, 2025 06:59 36s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
June 13, 2025 06:59 36s
Fix the test_prove_equivalence for continuous proof. Test PR #236: Pull request #33 synchronize by Stevengre
June 13, 2025 06:44 11m 49s jh/fix-prove
jh/fix-prove
June 13, 2025 06:44 11m 49s
Add test claim for MLOAD Test PR #235: Pull request #34 synchronize by tothtamas28
June 12, 2025 15:16 13m 56s mload-opcode
mload-opcode
June 12, 2025 15:16 13m 56s
Add claims for SWAP* opcodes Test PR #234: Pull request #32 synchronize by tothtamas28
June 12, 2025 15:05 9m 51s swap-opcode
swap-opcode
June 12, 2025 15:05 9m 51s
Update dependency: deps/kriscv_release Test PR #233: Pull request #35 synchronize by rv-jenkins
June 12, 2025 15:00 3m 54s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
June 12, 2025 15:00 3m 54s
pyproject.toml: Sync Version 0.1.103 Update Dependencies #119: Commit cda8224 pushed by rv-jenkins
June 12, 2025 15:00 40s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
June 12, 2025 15:00 40s
Update dependency: deps/kriscv_release Test PR #232: Pull request #35 opened by rv-jenkins
June 12, 2025 14:59 56s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
June 12, 2025 14:59 56s
deps/kriscv_release: Set Version 0.1.103 Update Dependencies #118: Commit 3c53d0d pushed by rv-jenkins
June 12, 2025 14:59 42s _update-deps/runtimeverification/riscv-semantics
_update-deps/runtimeverification/riscv-semantics
June 12, 2025 14:59 42s
Add claims for DUP* opcodes Test PR #231: Pull request #31 synchronize by tothtamas28
June 12, 2025 14:50 8m 24s dup-opcode
dup-opcode
June 12, 2025 14:50 8m 24s
Add claims for DUP* opcodes Test PR #230: Pull request #31 synchronize by tothtamas28
June 12, 2025 14:40 8m 24s dup-opcode
dup-opcode
June 12, 2025 14:40 8m 24s