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
macro: support named struct parameters (#1768) Verify proofs #5326: Commit 8a9c647 pushed by Th0rgal
7h 56m 15s main
main
7h 56m 15s
proofs: generalize native if word preservation EVMYulLean fork conformance #199: Pull request #1772 synchronize by Th0rgal
19m 36s codex/native-write-freshness-next
codex/native-write-freshness-next
19m 36s
proofs: generalize native if word preservation Verify proofs #5325: Pull request #1772 synchronize by Th0rgal
59m 32s codex/native-write-freshness-next
codex/native-write-freshness-next
59m 32s
macro: support named struct parameters Verify proofs #5324: Pull request #1768 synchronize by Th0rgal
18m 25s codex/issue1750-named-struct-params
codex/issue1750-named-struct-params
18m 25s
proofs: generalize native if word preservation EVMYulLean fork conformance #198: Pull request #1772 synchronize by Th0rgal
20m 28s codex/native-write-freshness-next
codex/native-write-freshness-next
20m 28s
proofs: generalize native if word preservation Verify proofs #5323: Pull request #1772 synchronize by Th0rgal
37m 59s codex/native-write-freshness-next
codex/native-write-freshness-next
37m 59s
macro: support named struct parameters Verify proofs #5322: Pull request #1768 synchronize by Th0rgal
31m 13s codex/issue1750-named-struct-params
codex/issue1750-named-struct-params
31m 13s
proofs: generalize native if word preservation Verify proofs #5321: Pull request #1772 synchronize by Th0rgal
38m 49s codex/native-write-freshness-next
codex/native-write-freshness-next
38m 49s
proofs: generalize native if word preservation EVMYulLean fork conformance #197: Pull request #1772 synchronize by Th0rgal
20m 29s codex/native-write-freshness-next
codex/native-write-freshness-next
20m 29s
proofs: generalize native if word preservation Verify proofs #5320: Pull request #1772 opened by Th0rgal
38m 23s codex/native-write-freshness-next
codex/native-write-freshness-next
38m 23s
proofs: generalize native if word preservation EVMYulLean fork conformance #196: Pull request #1772 opened by Th0rgal
20m 37s codex/native-write-freshness-next
codex/native-write-freshness-next
20m 37s
proofs: add native block write-freshness plumbing (#1771) Verify proofs #5319: Commit 5d0a062 pushed by Th0rgal
8h 40m 23s main
main
8h 40m 23s
proofs: add native block write-freshness plumbing (#1771) EVMYulLean fork conformance #195: Commit 5d0a062 pushed by Th0rgal
20m 32s main
main
20m 32s
macro: support named struct parameters Verify proofs #5318: Pull request #1768 synchronize by Th0rgal
2h 38m 42s codex/issue1750-named-struct-params
codex/issue1750-named-struct-params
2h 38m 42s
proofs: add native block write-freshness plumbing Verify proofs #5317: Pull request #1771 opened by Th0rgal
2h 18m 14s codex/native-write-freshness-block-plumbing
codex/native-write-freshness-block-plumbing
2h 18m 14s
proofs: add native block write-freshness plumbing EVMYulLean fork conformance #194: Pull request #1771 opened by Th0rgal
19m 18s codex/native-write-freshness-block-plumbing
codex/native-write-freshness-block-plumbing
19m 18s
macro: support named struct parameters Verify proofs #5316: Pull request #1768 synchronize by Th0rgal
1h 18m 56s codex/issue1750-named-struct-params
codex/issue1750-named-struct-params
1h 18m 56s
docs: guard native let preservation surface (#1770) Verify proofs #5315: Commit 3fdfe3f pushed by Th0rgal
3m 4s main
main
3m 4s
docs: guard native let preservation surface Verify proofs #5314: Pull request #1770 opened by Th0rgal
2m 59s codex/native-let-preservation-doc-guard
codex/native-let-preservation-doc-guard
2m 59s
proofs: add native assignment preservation constructors (#1769) EVMYulLean fork conformance #193: Commit 42ddc75 pushed by Th0rgal
20m 16s main
main
20m 16s
proofs: add native assignment preservation constructors (#1769) Verify proofs #5313: Commit 42ddc75 pushed by Th0rgal
9m 59s main
main
9m 59s
macro: support named struct parameters Verify proofs #5312: Pull request #1768 synchronize by Th0rgal
38m 3s codex/issue1750-named-struct-params
codex/issue1750-named-struct-params
38m 3s
macro: support named struct parameters Verify proofs #5311: Pull request #1768 synchronize by Th0rgal
19m 19s codex/issue1750-named-struct-params
codex/issue1750-named-struct-params
19m 19s
macro: support named struct parameters Verify proofs #5310: Pull request #1768 synchronize by Th0rgal
18m 16s codex/issue1750-named-struct-params
codex/issue1750-named-struct-params
18m 16s
macro: support named struct parameters Verify proofs #5309: Pull request #1768 synchronize by Th0rgal
3m 0s codex/issue1750-named-struct-params
codex/issue1750-named-struct-params
3m 0s