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
Speed up PrintAxioms audit Verify proofs #5805: Commit c16a9c7 pushed by Th0rgal
2m 11s main
main
2m 11s
Speed up PrintAxioms audit Verify proofs #5804: Pull request #1823 synchronize by Th0rgal
2m 14s codex/ci-resource-profiler
codex/ci-resource-profiler
2m 14s
Add AgglayerBridge benchmark model Verify proofs #5803: Pull request #1825 opened by fricoben
1h 48m 31s add-agglayer-bridge-benchmark
add-agglayer-bridge-benchmark
1h 48m 31s
verity_contract cannot call internal helpers with Array parameters Issue Intake Guard #120: Issue #1824 edited by fricoben
10s
10s
verity_contract cannot call internal helpers with Array parameters Issue Intake Guard #119: Issue #1824 opened by fricoben
10s
10s
Verify proofs Verify proofs #5802: Manually run by Th0rgal
2h 1m 17s codex/ci-resource-profiler
codex/ci-resource-profiler
2h 1m 17s
Speed up PrintAxioms audit Verify proofs #5801: Pull request #1823 synchronize by Th0rgal
2m 14s codex/ci-resource-profiler
codex/ci-resource-profiler
2m 14s
Speed up PrintAxioms audit Verify proofs #5800: Pull request #1823 opened by Th0rgal
1m 20s codex/ci-resource-profiler
codex/ci-resource-profiler
1m 20s
Retarget public correctness toward native EVMYulLean Verify proofs #5799: Pull request #1822 synchronize by Th0rgal
49m 29s native-evmyullean-public-correctness
native-evmyullean-public-correctness
49m 29s
Retarget public correctness toward native EVMYulLean EVMYulLean fork conformance #564: Pull request #1822 synchronize by Th0rgal
21m 55s native-evmyullean-public-correctness
native-evmyullean-public-correctness
21m 55s
Retarget public correctness toward native EVMYulLean EVMYulLean fork conformance #563: Pull request #1822 synchronize by Th0rgal
16m 47s native-evmyullean-public-correctness
native-evmyullean-public-correctness
16m 47s
Retarget public correctness toward native EVMYulLean Verify proofs #5798: Pull request #1822 synchronize by Th0rgal
30m 35s native-evmyullean-public-correctness
native-evmyullean-public-correctness
30m 35s
docs: analyze CI runner hardware performance Verify proofs #5797: Commit 3157166 pushed by Th0rgal
2m 58s main
main
2m 58s
Retarget public correctness toward native EVMYulLean EVMYulLean fork conformance #562: Pull request #1822 synchronize by Th0rgal
6m 54s native-evmyullean-public-correctness
native-evmyullean-public-correctness
6m 54s
Retarget public correctness toward native EVMYulLean Verify proofs #5796: Pull request #1822 synchronize by Th0rgal
42s native-evmyullean-public-correctness
native-evmyullean-public-correctness
42s
Verify proofs Verify proofs #5795: Scheduled
1h 40m 40s main
main
1h 40m 40s
ci: promote DGX runner for fastlane jobs Verify proofs #5794: Commit 085516e pushed by Th0rgal
2m 10s main
main
2m 10s
docs: update runner validation report Verify proofs #5793: Commit 1b61f8a pushed by Th0rgal
3m 8s main
main
3m 8s
Runner Lean validation Runner Lean validation #7: Manually run by Th0rgal
4m 50s main
main
4m 50s
ci: install validation solc without sudo Verify proofs #5792: Commit 3698720 pushed by Th0rgal
3m 57s main
main
3m 57s
Runner Lean validation Runner Lean validation #6: Manually run by Th0rgal
6m 6s main
main
6m 6s
ci: avoid solc cache in runner validation Verify proofs #5791: Commit 8a16bdf pushed by Th0rgal
3m 41s main
main
3m 41s
chore: allowlist native retarget bridge proof length Verify proofs #5790: Commit 97c2bea pushed by Th0rgal
2m 19s main
main
2m 19s
Runner Lean validation Runner Lean validation #5: Manually run by Th0rgal
5m 8s main
main
5m 8s
ci: install solc for x64 runner validation Verify proofs #5789: Commit 5a8961e pushed by Th0rgal
2m 21s main
main
2m 21s