Skip to content

Actions: lfglabs-dev/verity

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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: add native block preservation constructors EVMYulLean fork conformance #187: Pull request #1766 opened by Th0rgal
20m 27s codex/native-write-freshness-constructors
codex/native-write-freshness-constructors
20m 27s
proofs: compose native block word preservation (#1765) Verify proofs #5295: Commit 6b641f9 pushed by Th0rgal
1h 2m 29s main
main
1h 2m 29s
proofs: compose native block word preservation (#1765) EVMYulLean fork conformance #186: Commit 6b641f9 pushed by Th0rgal
20m 36s main
main
20m 36s
proofs: compose native block word preservation EVMYulLean fork conformance #185: Pull request #1765 opened by Th0rgal
19m 47s codex/native-write-preservation-plumbing
codex/native-write-preservation-plumbing
19m 47s
proofs: compose native block word preservation Verify proofs #5294: Pull request #1765 opened by Th0rgal
1h 58m 14s codex/native-write-preservation-plumbing
codex/native-write-preservation-plumbing
1h 58m 14s
proofs: gate native runtime on generated fragment (#1764) EVMYulLean fork conformance #184: Commit ff92158 pushed by Th0rgal
19m 1s main
main
19m 1s
proofs: gate native runtime on generated fragment (#1764) Verify proofs #5293: Commit ff92158 pushed by Th0rgal
1h 49m 59s main
main
1h 49m 59s
proofs: gate native runtime on generated fragment EVMYulLean fork conformance #183: Pull request #1764 synchronize by Th0rgal
18m 52s codex/native-fragment-entrypoint-gate
codex/native-fragment-entrypoint-gate
18m 52s
proofs: gate native runtime on generated fragment Verify proofs #5292: Pull request #1764 synchronize by Th0rgal
1h 30m 10s codex/native-fragment-entrypoint-gate
codex/native-fragment-entrypoint-gate
1h 30m 10s
proofs: gate native runtime on generated fragment Verify proofs #5291: Pull request #1764 opened by Th0rgal
1h 6m 38s codex/native-fragment-entrypoint-gate
codex/native-fragment-entrypoint-gate
1h 6m 38s
proofs: gate native runtime on generated fragment EVMYulLean fork conformance #182: Pull request #1764 opened by Th0rgal
15m 52s codex/native-fragment-entrypoint-gate
codex/native-fragment-entrypoint-gate
15m 52s
proofs: pin native generated runtime fragment (#1763) EVMYulLean fork conformance #181: Commit 3737b57 pushed by Th0rgal
21m 25s main
main
21m 25s
proofs: pin native generated runtime fragment (#1763) Verify proofs #5290: Commit 3737b57 pushed by Th0rgal
1h 36m 32s main
main
1h 36m 32s
proofs: pin native generated runtime fragment Verify proofs #5289: Pull request #1763 synchronize by Th0rgal
1h 29m 7s codex/native-generated-fragment-boundary
codex/native-generated-fragment-boundary
1h 29m 7s
proofs: pin native generated runtime fragment EVMYulLean fork conformance #180: Pull request #1763 synchronize by Th0rgal
19m 20s codex/native-generated-fragment-boundary
codex/native-generated-fragment-boundary
19m 20s
proofs: pin native generated runtime fragment Verify proofs #5288: Pull request #1763 opened by Th0rgal
45m 6s codex/native-generated-fragment-boundary
codex/native-generated-fragment-boundary
45m 6s
proofs: pin native generated runtime fragment EVMYulLean fork conformance #179: Pull request #1763 opened by Th0rgal
18m 32s codex/native-generated-fragment-boundary
codex/native-generated-fragment-boundary
18m 32s
docs: define native EVMYulLean transition completion (#1762) Verify proofs #5287: Commit 7b0e99d pushed by Th0rgal
3m 25s main
main
3m 25s
docs: define native EVMYulLean transition completion Verify proofs #5286: Pull request #1762 synchronize by Th0rgal
3m 4s docs/native-evmyullean-full-dod
docs/native-evmyullean-full-dod
3m 4s
docs: define native EVMYulLean transition completion Verify proofs #5285: Pull request #1762 synchronize by Th0rgal
3m 9s docs/native-evmyullean-full-dod
docs/native-evmyullean-full-dod
3m 9s
docs: define native EVMYulLean transition completion Verify proofs #5284: Pull request #1762 opened by Th0rgal
3m 52s docs/native-evmyullean-full-dod
docs/native-evmyullean-full-dod
3m 52s
proofs: discharge store-hit bridge (Phase 3) [stacked on #1755] (#1756) Verify proofs #5283: Commit 8bf8638 pushed by Th0rgal
4h 14m 18s main
main
4h 14m 18s
proofs: discharge store-hit bridge (Phase 3) [stacked on #1755] (#1756) EVMYulLean fork conformance #178: Commit 8bf8638 pushed by Th0rgal
18m 59s main
main
18m 59s
proofs: discharge store-hit bridge (Phase 3) [stacked on #1755] EVMYulLean fork conformance #177: Pull request #1756 synchronize by Th0rgal
19m 21s codex/ir-storage-phase3-store-hit-discharge
codex/ir-storage-phase3-store-hit-discharge
19m 21s
proofs: discharge store-hit bridge (Phase 3) [stacked on #1755] Verify proofs #5282: Pull request #1756 synchronize by Th0rgal
1h 31m 24s codex/ir-storage-phase3-store-hit-discharge
codex/ir-storage-phase3-store-hit-discharge
1h 31m 24s