Skip to content

Actions: hyperpolymath/echo-types

Actions

Agda

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
agda.yml
967 workflow runs
967 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… Agda #967: Commit da140cc pushed by hyperpolymath
12m 6s main
main
12m 6s
chore(deps): bump github/codeql-action from 4.38.1 to 4.38.2 in the actions group Agda #966: Pull request #337 opened by dependabot Bot
12m 19s dependabot/github_actions/actions-a63e66b24a
dependabot/github_actions/actions-a63e66b24a
12m 19s
docs: add Signed commits section to CONTRIBUTING (#333) Agda #965: Commit 2be247a pushed by hyperpolymath
35m 0s main
main
35m 0s
docs(foundation): keep the 2026-05-18 history entries append-only (#336) Agda #964: Commit 3b21ff7 pushed by hyperpolymath
12m 45s main
main
12m 45s
docs(foundation): keep the 2026-05-18 history entries append-only Agda #963: Pull request #336 opened by hyperpolymath
12m 39s docs/foundation-history-append-only
docs/foundation-history-append-only
12m 39s
chore(agda): bump absolute-zero pin 3ff5cee7 -> f486c299 (Proofs gree… Agda #962: Commit 511ef25 pushed by hyperpolymath
9m 54s main
main
9m 54s
chore(agda): bump absolute-zero pin 3ff5cee7 -> f486c299 (Proofs green on main) Agda #961: Pull request #334 opened by hyperpolymath
12m 47s chore/bump-absz-pin
chore/bump-absz-pin
12m 47s
docs: add Signed commits section to CONTRIBUTING Agda #960: Pull request #333 opened by hyperpolymath
34m 14s docs/signing-policy-d218
docs/signing-policy-d218
34m 14s
docs(citation): add the author's ORCID (0000-0002-3078-6652) to citat… Agda #959: Commit fe10080 pushed by hyperpolymath
14m 49s main
main
14m 49s
chore: retire the 27 .a2ml records (owner ruling 2026-09-30) (#332) Agda #958: Commit ab48b28 pushed by hyperpolymath
7m 27s main
main
7m 27s
chore: retire the 27 .a2ml records (owner ruling 2026-09-30) Agda #957: Pull request #332 synchronize by hyperpolymath
12m 41s chore/retire-a2ml-records
chore/retire-a2ml-records
12m 41s
chore: retire the 27 .a2ml records (owner ruling 2026-09-30) Agda #956: Pull request #332 opened by hyperpolymath
4m 30s chore/retire-a2ml-records
chore/retire-a2ml-records
4m 30s
fix(agda): resolve the two unsolved metas in EchoHaplotypeCollapsing (#329) Agda #955: Pull request #331 opened by hyperpolymath
12m 6s fix/329-haplotype-collapsing-metas
fix/329-haplotype-collapsing-metas
12m 6s
fix(agda): restore main typecheck — carry the fiber invariant in Fibe… Agda #954: Commit 39a7a99 pushed by hyperpolymath
3m 24s main
main
3m 24s
Agda Agda #953: synchronize by arena-ai-coding-agent Bot
Startup failure arena/01a0e508-echo-types
arena/01a0e508-echo-types
Startup failure
Agda Agda #952: opened by arena-ai-coding-agent Bot
Startup failure arena/01a0e508-echo-types
arena/01a0e508-echo-types
Startup failure
feat(applications): haplotype collapsing as Echo fiber (#327) Agda #951: Commit 1f67753 pushed by hyperpolymath
3m 48s main
main
3m 48s
feat(applications): haplotype collapsing as Echo fiber Agda #950: Pull request #327 opened by hyperpolymath
3m 23s arena/01a0e040-echo-types
arena/01a0e040-echo-types
3m 23s
chore(deps): bump github/codeql-action from 4.38.0 to 4.38.1 in the a… Agda #949: Commit cd9aa40 pushed by hyperpolymath
8m 43s main
main
8m 43s
chore(deps): bump github/codeql-action from 4.38.0 to 4.38.1 in the actions group Agda #948: Pull request #326 opened by dependabot Bot
11m 51s dependabot/github_actions/actions-71fcf20ecc
dependabot/github_actions/actions-71fcf20ecc
11m 51s
proofs(agda): preserve the bit-narrowing exhibits from unpushed commi… Agda #947: Commit e6e7ee7 pushed by hyperpolymath
12m 24s main
main
12m 24s
proofs(agda): preserve the bit-narrowing exhibits from unpushed commi… Agda #946: Pull request #325 opened by hyperpolymath
12m 19s preserve/bit-narrowing-agda-2026-09-11
preserve/bit-narrowing-agda-2026-09-11
12m 19s
fix(ci): reconcile actions.lock so the lockfile validates (#319) Agda #945: Commit 9c4b72b pushed by hyperpolymath
5h 13m 54s main
main
5h 13m 54s
fix(ci): reconcile actions.lock so the lockfile validates Agda #944: Pull request #319 opened by hyperpolymath
5h 9m 10s fix/lockfile-reconcile
fix/lockfile-reconcile
5h 9m 10s
fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) … Agda #943: Commit 5f8f65c pushed by hyperpolymath
19m 47s main
main
19m 47s