Skip to content

Actions: hyperpolymath/echo-types

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
614 workflow runs
614 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(agda): restore main typecheck — carry the fiber invariant in Fibe… Governance #614: Commit 39a7a99 pushed by hyperpolymath
18s main
main
18s
Governance Governance #613: synchronize by arena-ai-coding-agent Bot
Startup failure arena/01a0e508-echo-types
arena/01a0e508-echo-types
Startup failure
Governance Governance #612: opened by arena-ai-coding-agent Bot
-1s arena/01a0e508-echo-types
arena/01a0e508-echo-types
-1s
feat(applications): haplotype collapsing as Echo fiber (#327) Governance #611: Commit 1f67753 pushed by hyperpolymath
22s main
main
22s
feat(applications): haplotype collapsing as Echo fiber Governance #610: Pull request #327 opened by hyperpolymath
24s arena/01a0e040-echo-types
arena/01a0e040-echo-types
24s
chore(deps): bump github/codeql-action from 4.38.0 to 4.38.1 in the a… Governance #609: Commit cd9aa40 pushed by hyperpolymath
48s main
main
48s
chore(deps): bump github/codeql-action from 4.38.0 to 4.38.1 in the actions group Governance #608: Pull request #326 opened by dependabot Bot
20s dependabot/github_actions/actions-71fcf20ecc
dependabot/github_actions/actions-71fcf20ecc
20s
proofs(agda): preserve the bit-narrowing exhibits from unpushed commi… Governance #607: Commit e6e7ee7 pushed by hyperpolymath
21s main
main
21s
proofs(agda): preserve the bit-narrowing exhibits from unpushed commi… Governance #606: Pull request #325 opened by hyperpolymath
21s preserve/bit-narrowing-agda-2026-09-11
preserve/bit-narrowing-agda-2026-09-11
21s
fix(ci): reconcile actions.lock so the lockfile validates (#319) Governance #605: Commit 9c4b72b pushed by hyperpolymath
8h 3m 15s main
main
8h 3m 15s
fix(ci): reconcile actions.lock so the lockfile validates Governance #604: Pull request #319 opened by hyperpolymath
8h 3m 13s fix/lockfile-reconcile
fix/lockfile-reconcile
8h 3m 13s
fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) … Governance #603: Commit 5f8f65c pushed by hyperpolymath
40m 48s main
main
40m 48s
fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) Governance #602: Pull request #318 opened by hyperpolymath
1m 16s fix/sha-pin-actions
fix/sha-pin-actions
1m 16s
fix(ci): pin third-party actions to full commit SHAs (#317) Governance #601: Commit 6f419c6 pushed by hyperpolymath
2m 9s main
main
2m 9s
fix(ci): pin third-party actions to full commit SHAs Governance #600: Pull request #317 opened by hyperpolymath
26m 28s fix/sha-pin-actions
fix/sha-pin-actions
26m 28s
refactor(root): move root artefacts to their canonical locations (#316) Governance #599: Commit 56c1c13 pushed by hyperpolymath
3h 6m 24s main
main
3h 6m 24s
refactor(root): move root artefacts to their canonical locations Governance #598: Pull request #316 opened by hyperpolymath
3h 6m 26s refactor/root-shape-rollout
refactor/root-shape-rollout
3h 6m 26s
chore(www): migrate root .well-known/ to www/.well-known/ (#315) Governance #597: Commit d48e4fb pushed by hyperpolymath
2h 31m 8s main
main
2h 31m 8s
chore(www): migrate root .well-known/ to www/.well-known/ Governance #596: Pull request #315 opened by hyperpolymath
2h 31m 8s chore/well-known-to-www
chore/well-known-to-www
2h 31m 8s
chore(actions): relock drifted action pins (#314) Governance #595: Commit 30d330e pushed by hyperpolymath
2m 13s main
main
2m 13s
chore(actions): relock drifted action pins Governance #594: Pull request #314 opened by hyperpolymath
24s fix/relock-actions-lock
fix/relock-actions-lock
24s
chore(deps): bump the actions group with 2 updates (#313) Governance #593: Commit 6b64aec pushed by hyperpolymath
Startup failure main
main
Startup failure
Governance Governance #592: opened by dependabot Bot
Startup failure dependabot/github_actions/actions-a63c844334
dependabot/github_actions/actions-a63c844334
Startup failure
docs(agents): add a GEMINI.md pointer to the maintained instructions … Governance #591: Commit a4c125e pushed by hyperpolymath
Startup failure main
main
Startup failure
docs(agents): add a GEMINI.md pointer to the maintained instructions Governance #590: Pull request #312 opened by hyperpolymath
1m 17s chore/llm-pointer-2026-09-08
chore/llm-pointer-2026-09-08
1m 17s