Skip to content

Actions: lfglabs-dev/verity

Actions

Verify proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verify.yml
2,500+ workflow runs
2,500+ 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
proofs: expose native EVMYulLean transition target Verify proofs #5237: Pull request #1743 synchronize by Th0rgal
1h 27m 30s codex/native-evmyullean-transition
codex/native-evmyullean-transition
1h 27m 30s
proofs: expose native EVMYulLean transition target Verify proofs #5236: Pull request #1743 synchronize by Th0rgal
8m 30s codex/native-evmyullean-transition
codex/native-evmyullean-transition
8m 30s
proofs: expose native EVMYulLean transition target Verify proofs #5235: Pull request #1743 synchronize by Th0rgal
14m 44s codex/native-evmyullean-transition
codex/native-evmyullean-transition
14m 44s
proofs: expose native EVMYulLean transition target Verify proofs #5234: Pull request #1743 synchronize by Th0rgal
7m 44s codex/native-evmyullean-transition
codex/native-evmyullean-transition
7m 44s
proofs: expose native EVMYulLean transition target Verify proofs #5233: Pull request #1743 synchronize by Th0rgal
15m 36s codex/native-evmyullean-transition
codex/native-evmyullean-transition
15m 36s
proofs: expose native EVMYulLean transition target Verify proofs #5232: Pull request #1743 synchronize by Th0rgal
15m 29s codex/native-evmyullean-transition
codex/native-evmyullean-transition
15m 29s
proofs: expose native EVMYulLean transition target Verify proofs #5231: Pull request #1743 synchronize by Th0rgal
13m 27s codex/native-evmyullean-transition
codex/native-evmyullean-transition
13m 27s
proofs: expose native EVMYulLean transition target Verify proofs #5230: Pull request #1743 synchronize by Th0rgal
41m 34s codex/native-evmyullean-transition
codex/native-evmyullean-transition
41m 34s
proofs: expose native EVMYulLean transition target Verify proofs #5229: Pull request #1743 synchronize by Th0rgal
46m 29s codex/native-evmyullean-transition
codex/native-evmyullean-transition
46m 29s
proofs: expose native EVMYulLean transition target Verify proofs #5228: Pull request #1743 synchronize by Th0rgal
40m 7s codex/native-evmyullean-transition
codex/native-evmyullean-transition
40m 7s
proofs: expose native EVMYulLean transition target Verify proofs #5227: Pull request #1743 synchronize by Th0rgal
6m 28s codex/native-evmyullean-transition
codex/native-evmyullean-transition
6m 28s
proofs: expose native EVMYulLean transition target Verify proofs #5226: Pull request #1743 synchronize by Th0rgal
9m 35s codex/native-evmyullean-transition
codex/native-evmyullean-transition
9m 35s
Improve executable ERC-4337 semantic stubs Verify proofs #5225: Pull request #1746 synchronize by Th0rgal
1h 51m 53s codex/erc4337-faithful-model
codex/erc4337-faithful-model
1h 51m 53s
proofs: expose native EVMYulLean transition target Verify proofs #5224: Pull request #1743 synchronize by Th0rgal
12m 23s codex/native-evmyullean-transition
codex/native-evmyullean-transition
12m 23s
Improve executable ERC-4337 semantic stubs Verify proofs #5223: Pull request #1746 synchronize by Th0rgal
1h 38m 37s codex/erc4337-faithful-model
codex/erc4337-faithful-model
1h 38m 37s
Verify proofs Verify proofs #5222: Scheduled
4h 50m 51s main
main
4h 50m 51s
proofs: expose native EVMYulLean transition target Verify proofs #5221: Pull request #1743 synchronize by Th0rgal
1h 24m 11s codex/native-evmyullean-transition
codex/native-evmyullean-transition
1h 24m 11s
proofs: expose native EVMYulLean transition target Verify proofs #5220: Pull request #1743 synchronize by Th0rgal
1h 25m 56s codex/native-evmyullean-transition
codex/native-evmyullean-transition
1h 25m 56s
proofs: expose native EVMYulLean transition target Verify proofs #5219: Pull request #1743 synchronize by Th0rgal
32m 12s codex/native-evmyullean-transition
codex/native-evmyullean-transition
32m 12s
Improve executable ERC-4337 semantic stubs Verify proofs #5218: Pull request #1746 synchronize by Th0rgal
1h 23m 14s codex/erc4337-faithful-model
codex/erc4337-faithful-model
1h 23m 14s
Improve executable ERC-4337 semantic stubs Verify proofs #5217: Pull request #1746 synchronize by Th0rgal
50m 10s codex/erc4337-faithful-model
codex/erc4337-faithful-model
50m 10s
Improve executable ERC-4337 semantic stubs Verify proofs #5216: Pull request #1746 synchronize by Th0rgal
45m 2s codex/erc4337-faithful-model
codex/erc4337-faithful-model
45m 2s
proofs: expose native EVMYulLean transition target Verify proofs #5215: Pull request #1743 synchronize by Th0rgal
1h 21m 1s codex/native-evmyullean-transition
codex/native-evmyullean-transition
1h 21m 1s
Improve executable ERC-4337 semantic stubs Verify proofs #5214: Pull request #1746 synchronize by Th0rgal
5m 18s codex/erc4337-faithful-model
codex/erc4337-faithful-model
5m 18s
proofs: expose native EVMYulLean transition target Verify proofs #5213: Pull request #1743 synchronize by Th0rgal
21m 17s codex/native-evmyullean-transition
codex/native-evmyullean-transition
21m 17s