Skip to content

Actions: hyperpolymath/echo-types

Actions

Agda

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
agda.yml
930 workflow runs
930 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
docs(agents): add a GEMINI.md pointer to the maintained instructions Agda #930: Pull request #312 opened by hyperpolymath
12m 23s chore/llm-pointer-2026-09-08
chore/llm-pointer-2026-09-08
12m 23s
chore(ci): bump governance-reusable pin to standards main (#311) Agda #929: Commit 7a569b7 pushed by hyperpolymath
11m 30s main
main
11m 30s
chore(ci): bump governance-reusable pin to standards main Agda #928: Pull request #311 opened by hyperpolymath
12m 50s chore/bump-governance-pin-to-standards-main
chore/bump-governance-pin-to-standards-main
12m 50s
chore(deps): bump actions/deploy-pages from 5.0.0 to 5.0.1 in the act… Agda #927: Commit 46cd1a3 pushed by hyperpolymath
24m 5s main
main
24m 5s
chore(deps): bump actions/deploy-pages from 5.0.0 to 5.0.1 in the actions group Agda #926: Pull request #310 opened by dependabot Bot
11m 32s dependabot/github_actions/actions-e061d434e4
dependabot/github_actions/actions-e061d434e4
11m 32s
chore(ci): repoint push-email-notify to smtp-notify-action (#309) Agda #925: Commit ae33117 pushed by hyperpolymath
13m 8s main
main
13m 8s
chore(ci): repoint push-email-notify to smtp-notify-action Agda #924: Pull request #309 synchronize by hyperpolymath
15m 13s chore/smtp-notify-action
chore/smtp-notify-action
15m 13s
chore(ci): repoint push-email-notify to smtp-notify-action Agda #923: Pull request #309 opened by hyperpolymath
11m 46s chore/smtp-notify-action
chore/smtp-notify-action
11m 46s
chore(deps): bump the actions group with 2 updates (#308) Agda #922: Commit de693ff pushed by hyperpolymath
11m 8s main
main
11m 8s
chore(deps): bump the actions group with 2 updates Agda #921: Pull request #308 opened by dependabot Bot
12m 12s dependabot/github_actions/actions-f0634a0040
dependabot/github_actions/actions-f0634a0040
12m 12s
feat(labels): estate label tooling + auto-triage for new issues (#307) Agda #920: Commit 8bafde2 pushed by hyperpolymath
32m 38s main
main
32m 38s
feat(labels): estate label tooling + auto-triage for new issues Agda #919: Pull request #307 synchronize by hyperpolymath
21m 32s automated/label-tooling
automated/label-tooling
21m 32s
feat(labels): estate label tooling + auto-triage for new issues Agda #918: Pull request #307 synchronize by hyperpolymath
1h 12m 41s automated/label-tooling
automated/label-tooling
1h 12m 41s
feat(labels): estate label tooling + auto-triage for new issues Agda #917: Pull request #307 opened by hyperpolymath
28m 10s automated/label-tooling
automated/label-tooling
28m 10s
fix(ci): unbreak workflow YAML and add a complete actions.lock (#306) Agda #916: Commit 45cbdf1 pushed by hyperpolymath
49m 55s main
main
49m 55s
fix(ci): unbreak workflow YAML and add a complete actions.lock Agda #915: Pull request #306 opened by hyperpolymath
46m 9s fix/workflow-dependency-locking
fix/workflow-dependency-locking
46m 9s
refactor: migrate Markdown to AsciiDoc (#305) Agda #914: Commit 1e4e22e pushed by hyperpolymath
35m 18s main
main
35m 18s
refactor: migrate Markdown to AsciiDoc Agda #913: Pull request #305 opened by hyperpolymath
33m 47s refactor/md-to-adoc
refactor/md-to-adoc
33m 47s
chore: global textual eradication of Nix and ReScript Agda #912: Commit c84a144 pushed by hyperpolymath
12m 41s main
main
12m 41s
chore(nix->guix): delete Nix estate-wide (#138) Agda #911: Commit 0029a09 pushed by hyperpolymath
46m 8s main
main
46m 8s
chore(guix): quality pass - fix stub/invalid names (#139) Agda #910: Commit e96c15f pushed by hyperpolymath
8m 59s main
main
8m 59s
chore(deps): bump the actions group with 2 updates (#304) Agda #909: Commit ea82632 pushed by hyperpolymath
9m 33s main
main
9m 33s
chore(deps): bump the actions group with 2 updates Agda #908: Pull request #304 opened by dependabot Bot
12m 17s dependabot/github_actions/actions-d63cead5ff
dependabot/github_actions/actions-d63cead5ff
12m 17s
Change greeting from 'Hello' to 'Goodbye' Agda #907: Commit f26235f pushed by hyperpolymath
12m 28s main
main
12m 28s
Document Echo types and core fiber laws Agda #906: Commit e6892cd pushed by hyperpolymath
1m 1s main
main
1m 1s