Workflow runs · lfglabs-dev/verity · GitHub

Actions

All workflows
Workflows
- CI CI
- Docs Docs
- Issue Intake Guard Issue Intake Guard
- Verify proofs Verify proofs
Management
- Caches
- Deployments

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2,500+ workflow runs

2,500+ workflow runs

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4703: Pull request #1725 synchronize by Th0rgal

Queued feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

Queued

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4702: Pull request #1725 synchronize by Th0rgal

18m 38s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

18m 38s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4701: Pull request #1725 synchronize by Th0rgal

5m 2s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

5m 2s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4700: Pull request #1725 synchronize by Th0rgal

4m 24s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

4m 24s

feat: expand proven fragment with assignStorage constructors Verify proofs #4699: Pull request #1732 opened by Th0rgal

Queued feat/issue-1723-expand-proven-fragment

feat/issue-1723-expand-proven-fragment

Queued

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4698: Pull request #1725 synchronize by Th0rgal

11m 30s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

11m 30s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4697: Pull request #1725 synchronize by Th0rgal

8m 1s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

8m 1s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4696: Pull request #1725 synchronize by Th0rgal

7m 11s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

7m 11s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4695: Pull request #1725 synchronize by Th0rgal

6m 1s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

6m 1s

fix: link to the paper Verify proofs #4694: Commit 27f4067 pushed by Th0rgal

2m 22s main

main

2m 22s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4693: Pull request #1725 synchronize by Th0rgal

1m 51s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

1m 51s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4692: Pull request #1725 synchronize by Th0rgal

11m 33s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

11m 33s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4691: Pull request #1725 synchronize by Th0rgal

17m 9s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

17m 9s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4690: Pull request #1725 synchronize by Th0rgal

3m 23s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

3m 23s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4689: Pull request #1725 synchronize by Th0rgal

2m 1s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

2m 1s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4688: Pull request #1725 synchronize by Th0rgal

1m 41s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

1m 41s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4687: Pull request #1725 synchronize by Th0rgal

1m 42s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

1m 42s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4686: Pull request #1725 synchronize by Th0rgal

2m 29s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

2m 29s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4685: Pull request #1725 synchronize by Th0rgal

1m 41s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

1m 41s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4684: Pull request #1725 synchronize by Th0rgal

2m 31s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

2m 31s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4683: Pull request #1725 synchronize by Th0rgal

3m 17s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

3m 17s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4682: Pull request #1725 synchronize by Th0rgal

2m 31s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

2m 31s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4681: Pull request #1725 synchronize by Th0rgal

2m 32s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

2m 32s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4680: Pull request #1725 synchronize by Th0rgal

1m 46s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

1m 46s

proofs: expand EVMYulLean builtin bridge to cover signed operations Verify proofs #4679: Pull request #1725 synchronize by Th0rgal

12m 59s feat/issue-1722-expand-evmyullean-builtin-bridge

feat/issue-1722-expand-evmyullean-builtin-bridge

12m 59s