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
Add ABI frame lowering layers Verify proofs #6506: Pull request #1947 synchronize by Th0rgal
1h 37m 11s codex/abi-frame-lowering
codex/abi-frame-lowering
1h 37m 11s
Add ABI frame lowering layers Verify proofs #6505: Pull request #1947 synchronize by Th0rgal
7m 4s codex/abi-frame-lowering
codex/abi-frame-lowering
7m 4s
Add ABI frame lowering layers Verify proofs #6504: Pull request #1947 opened by Th0rgal
21m 15s codex/abi-frame-lowering
codex/abi-frame-lowering
21m 15s
Fix AgentGrade content negotiation Verify proofs #6503: Pull request #1946 closed by Th0rgal
11s agentgrade-readiness-fixes
agentgrade-readiness-fixes
11s
Fix AgentGrade content negotiation (#1946) Verify proofs #6502: Commit 84ea2d2 pushed by Th0rgal
4m 19s main
main
4m 19s
Fix AgentGrade content negotiation Verify proofs #6501: Pull request #1946 synchronize by Th0rgal
2m 31s agentgrade-readiness-fixes
agentgrade-readiness-fixes
2m 31s
Fix AgentGrade content negotiation Verify proofs #6500: Pull request #1946 synchronize by Th0rgal
2m 34s agentgrade-readiness-fixes
agentgrade-readiness-fixes
2m 34s
Fix AgentGrade content negotiation Verify proofs #6499: Pull request #1946 opened by Th0rgal
2m 36s agentgrade-readiness-fixes
agentgrade-readiness-fixes
2m 36s
Verify proofs Verify proofs #6498: Scheduled
2h 0m 38s main
main
2h 0m 38s
Merge pull request #1944 from lfglabs-dev/thomas/foreach-nested-scope… Verify proofs #6497: Commit 4101073 pushed by Th0rgal
2h 12m 55s main
main
2h 12m 55s
Track forEach counters in body scope to fix nested-loop shadowing Verify proofs #6496: Pull request #1944 closed by Th0rgal
11s thomas/foreach-nested-scope-fix
thomas/foreach-nested-scope-fix
11s
Fix CREATE2 ECM low-level deny gate Verify proofs #6495: Commit e0f8e48 pushed by Th0rgal
2h 22m 17s main
main
2h 22m 17s
Add source-level internal function visibility Verify proofs #6494: Pull request #1945 closed by Th0rgal
1m 31s midnight-internal-function-visibility
midnight-internal-function-visibility
1m 31s
Add source-level internal function visibility (#1945) Verify proofs #6493: Commit fc0dcca pushed by Th0rgal
25m 52s main
main
25m 52s
Add source-level internal function visibility Verify proofs #6492: Pull request #1945 synchronize by Th0rgal
17m 37s midnight-internal-function-visibility
midnight-internal-function-visibility
17m 37s
Add source-level internal function visibility Verify proofs #6491: Pull request #1945 synchronize by Th0rgal
39m 24s midnight-internal-function-visibility
midnight-internal-function-visibility
39m 24s
Add source-level internal function visibility Verify proofs #6490: Pull request #1945 synchronize by Th0rgal
58m 6s midnight-internal-function-visibility
midnight-internal-function-visibility
58m 6s
Add source-level internal function visibility Verify proofs #6489: Pull request #1945 opened by Th0rgal
50s midnight-internal-function-visibility
midnight-internal-function-visibility
50s
Verify proofs Verify proofs #6488: Scheduled
2h 2m 58s main
main
2h 2m 58s
Track forEach counters in body scope to fix nested-loop shadowing Verify proofs #6487: Pull request #1944 synchronize by Th0rgal
48m 9s thomas/foreach-nested-scope-fix
thomas/foreach-nested-scope-fix
48m 9s
Model keccak256 opcode, unaligned calldata, and SHA-256 engine in exe… Verify proofs #6486: Commit e405b21 pushed by Th0rgal
2h 53m 7s main
main
2h 53m 7s
Model keccak256 opcode, unaligned calldata, and SHA-256 engine in executable semantics Verify proofs #6485: Pull request #1943 closed by Th0rgal
14s sphincs-raw-revert-support
sphincs-raw-revert-support
14s
Track forEach counters in body scope to fix nested-loop shadowing Verify proofs #6484: Pull request #1944 opened by Th0rgal
1h 32m 54s thomas/foreach-nested-scope-fix
thomas/foreach-nested-scope-fix
1h 32m 54s
Model keccak256 opcode, unaligned calldata, and SHA-256 engine in executable semantics Verify proofs #6483: Pull request #1943 synchronize by Th0rgal
1h 46m 37s sphincs-raw-revert-support
sphincs-raw-revert-support
1h 46m 37s
Model keccak256 opcode, unaligned calldata, and SHA-256 engine in executable semantics Verify proofs #6482: Pull request #1943 synchronize by Th0rgal
52s sphincs-raw-revert-support
sphincs-raw-revert-support
52s