Skip to content

Actions: hyperpolymath/ephapax

Actions

ABI Seam Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
abi-verify.yml
28 workflow runs
28 workflow runs

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
fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) ABI Seam Verification #28: Pull request #395 opened by hyperpolymath
2m 14s fix/sha-pin-actions
fix/sha-pin-actions
2m 14s
ABI Seam Verification ABI Seam Verification #27: opened by hyperpolymath
Startup failure fix/sha-pin-actions
fix/sha-pin-actions
Startup failure
fix(ci): unbreak workflow YAML and add a complete actions.lock ABI Seam Verification #26: Pull request #374 opened by hyperpolymath
39m 2s fix/workflow-dependency-locking
fix/workflow-dependency-locking
39m 2s
build(deps): bump actions/checkout from 7.0.0 to 7.0.1 in the actions group ABI Seam Verification #25: Pull request #352 opened by dependabot Bot
24s dependabot/github_actions/actions-7a5a078ad4
dependabot/github_actions/actions-7a5a078ad4
24s
fix(idris2): make the dyadic parse front-end actually compile + gate … ABI Seam Verification #24: Commit d2bd75f pushed by hyperpolymath
39m 20s main
main
39m 20s
fix(idris2): make the dyadic parse front-end actually compile + gate it in CI ABI Seam Verification #23: Pull request #340 opened by hyperpolymath
36m 4s worktree-health-check-idris2-headers
worktree-health-check-idris2-headers
36m 4s
build(deps): bump the actions group across 1 directory with 2 updates ABI Seam Verification #22: Pull request #308 synchronize by dependabot Bot
14s dependabot/github_actions/actions-ff17c29c8b
dependabot/github_actions/actions-ff17c29c8b
14s
build(deps): bump the actions group across 1 directory with 2 updates ABI Seam Verification #21: Pull request #308 opened by dependabot Bot
29s dependabot/github_actions/actions-ff17c29c8b
dependabot/github_actions/actions-ff17c29c8b
29s
build(deps): bump actions/checkout from 6.0.3 to 7.0.0 in the actions group ABI Seam Verification #20: Pull request #306 opened by dependabot Bot
16s dependabot/github_actions/actions-2217aebe03
dependabot/github_actions/actions-2217aebe03
16s
docs: AFFIRMATION.adoc (ground-truthed 2026-06-16) + Idris // → -- bu… ABI Seam Verification #19: Commit e7cbf34 pushed by hyperpolymath
20s main
main
20s
docs: AFFIRMATION.adoc (ground-truthed 2026-06-16) + Idris // → -- build fix ABI Seam Verification #18: Pull request #304 opened by hyperpolymath
16s docs/affirmation-2026-06-16
docs/affirmation-2026-06-16
16s
proof(L2): complete L2-modality migration of L1 preservation (Stage A… ABI Seam Verification #17: Commit 86f6e1b pushed by hyperpolymath
19s main
main
19s
proof(L2): complete L2-modality migration of L1 preservation (Stage A); soundness fix to follow ABI Seam Verification #16: Pull request #294 synchronize by hyperpolymath
22s proof/l1-soundness-modality-thread
proof/l1-soundness-modality-thread
22s
docs: reframe status surfaces — "gestating, not dead" (v1 → v2) ABI Seam Verification #15: Pull request #293 synchronize by hyperpolymath
23s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
23s
docs: reframe status surfaces — "gestating, not dead" (v1 → v2) ABI Seam Verification #14: Pull request #293 synchronize by hyperpolymath
8s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
8s
build(deps): bump the actions group with 4 updates ABI Seam Verification #13: Pull request #287 opened by dependabot Bot
18s dependabot/github_actions/actions-60184f4b44
dependabot/github_actions/actions-60184f4b44
18s
chore(license): flip 343 PMPL→MPL-2.0 SPDX stamps (#285) ABI Seam Verification #12: Commit 6102a35 pushed by hyperpolymath
19s main
main
19s
chore(license): flip 343 PMPL→MPL-2.0 SPDX stamps ABI Seam Verification #11: Pull request #285 synchronize by hyperpolymath
16s chore/license-uniform-mpl-2-0
chore/license-uniform-mpl-2-0
16s
chore(license): flip 343 PMPL→MPL-2.0 SPDX stamps ABI Seam Verification #10: Pull request #285 opened by hyperpolymath
16s chore/license-uniform-mpl-2-0
chore/license-uniform-mpl-2-0
16s
docs(manifest): replace stale "67/67 Qed" claim with honest proof-debt pointer ABI Seam Verification #9: Pull request #183 opened by hyperpolymath
43s docs/ai-manifest-honest
docs/ai-manifest-honest
43s
docs: port §4.8.1 + §5.1 + L1 admit enumeration to main ABI Seam Verification #8: Pull request #182 synchronize by hyperpolymath
29s docs/main-l1-enumeration
docs/main-l1-enumeration
29s
proof(L1.G): convert Axiom region_liveness_at_split_l1 to Lemma with 1 narrow admit ABI Seam Verification #7: Pull request #181 opened by hyperpolymath
17s proof/l1g-axiom-lemma-on-main
proof/l1g-axiom-lemma-on-main
17s
docs: record tech-debt audit findings (2026-05-26) (#144) ABI Seam Verification #6: Commit 7fbfaf0 pushed by hyperpolymath
29s main
main
29s
chore(ci): replace mirror.yml with reusable wrapper (#147) ABI Seam Verification #5: Commit 014dc4b pushed by hyperpolymath
6s main
main
6s
docs: seed docs/proof-debt.md per trusted-base policy (#148) ABI Seam Verification #4: Commit 4c821e0 pushed by hyperpolymath
5s main
main
5s