Skip to content

Actions: hyperpolymath/echo-types

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
627 workflow runs
627 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
chore(deps): bump github/codeql-action from 4.38.1 to 4.38.2 in the a… Governance #627: Commit da140cc pushed by hyperpolymath
18s main
main
18s
chore(deps): bump github/codeql-action from 4.38.1 to 4.38.2 in the actions group Governance #626: Pull request #337 opened by dependabot Bot
20s dependabot/github_actions/actions-a63e66b24a
dependabot/github_actions/actions-a63e66b24a
20s
docs: add Signed commits section to CONTRIBUTING (#333) Governance #625: Commit 2be247a pushed by hyperpolymath
23m 18s main
main
23m 18s
docs(foundation): keep the 2026-05-18 history entries append-only (#336) Governance #624: Commit 3b21ff7 pushed by hyperpolymath
52s main
main
52s
docs(foundation): keep the 2026-05-18 history entries append-only Governance #623: Pull request #336 opened by hyperpolymath
48s docs/foundation-history-append-only
docs/foundation-history-append-only
48s
chore(agda): bump absolute-zero pin 3ff5cee7 -> f486c299 (Proofs gree… Governance #622: Commit 511ef25 pushed by hyperpolymath
2m 48s main
main
2m 48s
chore(agda): bump absolute-zero pin 3ff5cee7 -> f486c299 (Proofs green on main) Governance #621: Pull request #334 opened by hyperpolymath
52s chore/bump-absz-pin
chore/bump-absz-pin
52s
docs: add Signed commits section to CONTRIBUTING Governance #620: Pull request #333 opened by hyperpolymath
31m 30s docs/signing-policy-d218
docs/signing-policy-d218
31m 30s
docs(citation): add the author's ORCID (0000-0002-3078-6652) to citat… Governance #619: Commit fe10080 pushed by hyperpolymath
12m 46s main
main
12m 46s
chore: retire the 27 .a2ml records (owner ruling 2026-09-30) (#332) Governance #618: Commit ab48b28 pushed by hyperpolymath
33s main
main
33s
chore: retire the 27 .a2ml records (owner ruling 2026-09-30) Governance #617: Pull request #332 synchronize by hyperpolymath
32s chore/retire-a2ml-records
chore/retire-a2ml-records
32s
chore: retire the 27 .a2ml records (owner ruling 2026-09-30) Governance #616: Pull request #332 opened by hyperpolymath
25s chore/retire-a2ml-records
chore/retire-a2ml-records
25s
fix(agda): resolve the two unsolved metas in EchoHaplotypeCollapsing (#329) Governance #615: Pull request #331 opened by hyperpolymath
21s fix/329-haplotype-collapsing-metas
fix/329-haplotype-collapsing-metas
21s
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