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
Phase 1H: dynamic memory/bytes/ABI in canonical denotation OpenCodeReview pilot #1926: Issue comment #2238 (comment) created by cursor Bot
1s
1s
Phase 1H: dynamic memory/bytes/ABI in canonical denotation OpenCodeReview pilot #1925: Issue comment #2238 (comment) created by chatgpt-codex-connector Bot
1s
1s
Phase 1H: dynamic memory/bytes/ABI in canonical denotation OpenCodeReview pilot #1924: Issue comment #2238 (comment) created by Th0rgal
9s
9s
Phase 1H: dynamic memory/bytes/ABI in canonical denotation OpenCodeReview pilot #1923: Issue comment #2238 (comment) created by vercel Bot
4s
4s
Phase 1H: dynamic memory/bytes/ABI in canonical denotation OpenCodeReview pilot #1922: Issue comment #2238 (comment) created by chatgpt-codex-connector Bot
1s
1s
Phase 1H: dynamic memory/bytes/ABI in canonical denotation OpenCodeReview pilot #1921: Pull request #2238 opened by Th0rgal
15m 56s
15m 56s
Phase 1H: dynamic memory/bytes/ABI in canonical denotation Verify proofs #7960: Pull request #2238 opened by Th0rgal
3h 2m 32s proof/phase1h/dynamic-memory
proof/phase1h/dynamic-memory
3h 2m 32s
Gap list to reach 11/11 public guarantees on Lido Staking Router v3 (minimal-11 campaign) OpenCodeReview pilot #1920: Issue comment #2234 (comment) created by Th0rgal
10s
10s
fix(ci): mechanical Lean warning cleanup Verify proofs #7959: Pull request #2236 closed by Th0rgal
14s fix/ci-warning-cleanup-2026-08
fix/ci-warning-cleanup-2026-08
14s
fix(ci): mechanical Lean warning cleanup (#2236) Verify proofs #7958: Commit ec8691a pushed by Th0rgal
4h 2m 43s main
main
4h 2m 43s
Phase 2 A.2: result-aware external-call loop OpenCodeReview pilot #1919: Issue comment #2237 (comment) created by cursor Bot
10s
10s
Phase 2 A.2: result-aware external-call loop OpenCodeReview pilot #1918: Issue comment #2237 (comment) created by chatgpt-codex-connector Bot
1s
1s
Phase 2 A.2: result-aware external-call loop OpenCodeReview pilot #1917: Issue comment #2237 (comment) created by vercel Bot
1s
1s
Phase 2 A.2: result-aware external-call loop OpenCodeReview pilot #1916: Pull request #2237 opened by Th0rgal
45m 21s
45m 21s
Phase 2 A.2: result-aware external-call loop Verify proofs #7957: Pull request #2237 opened by Th0rgal
19m 1s proof/phase2/a2-result-aware-loop
proof/phase2/a2-result-aware-loop
19m 1s
Phase 2 A.2: result-aware external-call loop EVMYulLean fork conformance #1129: Pull request #2237 opened by Th0rgal
10m 14s proof/phase2/a2-result-aware-loop
proof/phase2/a2-result-aware-loop
10m 14s
fix(ci): mechanical Lean warning cleanup OpenCodeReview pilot #1915: Issue comment #2236 (comment) created by cursor Bot
1s
1s
fix(ci): mechanical Lean warning cleanup OpenCodeReview pilot #1914: Issue comment #2236 (comment) created by vercel Bot
1s
1s
fix(ci): mechanical Lean warning cleanup OpenCodeReview pilot #1913: Issue comment #2236 (comment) created by chatgpt-codex-connector Bot
1s
1s
fix(ci): mechanical Lean warning cleanup Verify proofs #7956: Pull request #2236 opened by Th0rgal
2h 19m 17s fix/ci-warning-cleanup-2026-08
fix/ci-warning-cleanup-2026-08
2h 19m 17s
fix(ci): mechanical Lean warning cleanup OpenCodeReview pilot #1912: Pull request #2236 opened by Th0rgal
45m 26s
45m 26s
Gap list to reach 11/11 public guarantees on Lido Staking Router v3 (minimal-11 campaign) OpenCodeReview pilot #1911: Issue comment #2234 (comment) created by Th0rgal
8s
8s
Phase 2 A.1: top-level CallProgram snapshot-rollback wrapper Verify proofs #7955: Pull request #2235 closed by Th0rgal
13s proof/phase2/a1-call-program-rollback
proof/phase2/a1-call-program-rollback
13s
Merge Phase 2 A.1: CallProgram snapshot-rollback wrapper Verify proofs #7954: Commit 066f1bf pushed by Th0rgal
10m 31s main
main
10m 31s
Phase 2 A.1: top-level CallProgram snapshot-rollback wrapper OpenCodeReview pilot #1910: Issue comment #2235 (comment) created by cursor Bot
1s
1s