Skip to content

Actions: lfglabs-dev/verity

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,554 workflow runs
5,554 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Verify proofs Verify proofs #4282: Scheduled
In progress main
main
In progress
proofs: sorry reduction pass 5 — systematic plan and fixes Verify proofs #4281: Pull request #1670 synchronize by Th0rgal
48s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
48s
proofs: sorry reduction pass 5 — systematic plan and fixes Docs #1142: Pull request #1670 synchronize by Th0rgal
35s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
35s
proofs: sorry reduction pass 5 — systematic plan and fixes Docs #1141: Pull request #1670 synchronize by Th0rgal
38s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
38s
proofs: sorry reduction pass 5 — systematic plan and fixes Verify proofs #4280: Pull request #1670 synchronize by Th0rgal
49s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
49s
proofs: sorry reduction pass 5 — systematic plan and fixes Docs #1140: Pull request #1670 synchronize by Th0rgal
30s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
30s
proofs: sorry reduction pass 5 — systematic plan and fixes Verify proofs #4279: Pull request #1670 synchronize by Th0rgal
6m 18s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
6m 18s
proofs: sorry reduction pass 5 — systematic plan and fixes Docs #1139: Pull request #1670 synchronize by Th0rgal
29s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
29s
proofs: sorry reduction pass 5 — systematic plan and fixes Verify proofs #4278: Pull request #1670 synchronize by Th0rgal
2h 18m 51s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
2h 18m 51s
docs: register 2 new mapping-slot axioms in AXIOMS.md Verify proofs #4277: Pull request #1672 synchronize by Th0rgal
53s fix/axioms-md-sync
fix/axioms-md-sync
53s
docs: register 2 new mapping-slot axioms in AXIOMS.md Docs #1138: Pull request #1672 synchronize by Th0rgal
28s fix/axioms-md-sync
fix/axioms-md-sync
28s
proofs: sorry reduction pass 5 — systematic plan and fixes Verify proofs #4276: Pull request #1670 synchronize by Th0rgal
31s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
31s
proofs: sorry reduction pass 5 — systematic plan and fixes Verify proofs #4275: Pull request #1670 synchronize by Th0rgal
32s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
32s
docs: register 2 new mapping-slot axioms in AXIOMS.md Verify proofs #4274: Pull request #1672 opened by Th0rgal
40s fix/axioms-md-sync
fix/axioms-md-sync
40s
docs: register 2 new mapping-slot axioms in AXIOMS.md Docs #1137: Pull request #1672 opened by Th0rgal
28s fix/axioms-md-sync
fix/axioms-md-sync
28s
proofs: sorry reduction pass 5 — systematic plan and fixes Verify proofs #4273: Pull request #1670 synchronize by Th0rgal
32s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
32s
proofs: sorry reduction pass 5 — systematic plan and fixes Verify proofs #4272: Pull request #1670 synchronize by Th0rgal
32s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
32s
proofs: sorry reduction pass 5 — systematic plan and fixes Verify proofs #4271: Pull request #1670 synchronize by Th0rgal
35s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
35s
Verify proofs Verify proofs #4270: Scheduled
5h 5m 10s main
main
5h 5m 10s
proofs: sorry reduction pass 5 — systematic plan and fixes Verify proofs #4269: Pull request #1670 synchronize by Th0rgal
33s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
33s
proofs: sorry reduction pass 5 — systematic plan and fixes Verify proofs #4268: Pull request #1670 synchronize by Th0rgal
37s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
37s
proofs: sorry reduction pass 5 — systematic plan and fixes Verify proofs #4267: Pull request #1670 synchronize by Th0rgal
35s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
35s
proofs: sorry reduction pass 5 — systematic plan and fixes Verify proofs #4266: Pull request #1670 synchronize by Th0rgal
36s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
36s
proofs: sorry reduction pass 5 — systematic plan and fixes Verify proofs #4265: Pull request #1670 synchronize by Th0rgal
5m 32s codex/reduce-sorries-pass-5
codex/reduce-sorries-pass-5
5m 32s
fix: allowlist long proofs + add elan curl retry Verify proofs #4264: Pull request #1671 opened by Th0rgal
5h 42m 10s fix/ci-proof-length-and-elan-retry
fix/ci-proof-length-and-elan-retry
5h 42m 10s