Skip to content

Actions: hyperpolymath/echo-types

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
420 workflow runs
420 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… Mirror to Git Forges #420: Commit 39a7a99 pushed by hyperpolymath
43s main
main
43s
feat(applications): haplotype collapsing as Echo fiber (#327) Mirror to Git Forges #419: Commit 1f67753 pushed by hyperpolymath
19s main
main
19s
chore(deps): bump github/codeql-action from 4.38.0 to 4.38.1 in the a… Mirror to Git Forges #418: Commit cd9aa40 pushed by hyperpolymath
11s main
main
11s
proofs(agda): preserve the bit-narrowing exhibits from unpushed commi… Mirror to Git Forges #417: Commit e6e7ee7 pushed by hyperpolymath
11s main
main
11s
fix(ci): reconcile actions.lock so the lockfile validates (#319) Mirror to Git Forges #416: Commit 9c4b72b pushed by hyperpolymath
5h 0m 46s main
main
5h 0m 46s
fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) … Mirror to Git Forges #415: Commit 5f8f65c pushed by hyperpolymath
5m 17s main
main
5m 17s
fix(ci): pin third-party actions to full commit SHAs (#317) Mirror to Git Forges #414: Commit 6f419c6 pushed by hyperpolymath
1m 48s main
main
1m 48s
refactor(root): move root artefacts to their canonical locations (#316) Mirror to Git Forges #413: Commit 56c1c13 pushed by hyperpolymath
1h 4m 12s main
main
1h 4m 12s
chore(www): migrate root .well-known/ to www/.well-known/ (#315) Mirror to Git Forges #412: Commit d48e4fb pushed by hyperpolymath
1h 2m 31s main
main
1h 2m 31s
chore(actions): relock drifted action pins (#314) Mirror to Git Forges #411: Commit 30d330e pushed by hyperpolymath
1m 11s main
main
1m 11s
Mirror to Git Forges Mirror to Git Forges #410: Manually run by hyperpolymath
22s main
main
22s
chore(deps): bump the actions group with 2 updates (#313) Mirror to Git Forges #409: Commit 6b64aec pushed by hyperpolymath
Startup failure main
main
Startup failure
docs(agents): add a GEMINI.md pointer to the maintained instructions … Mirror to Git Forges #408: Commit a4c125e pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(ci): bump governance-reusable pin to standards main (#311) Mirror to Git Forges #407: Commit 7a569b7 pushed by hyperpolymath
1s main
main
1s
chore(deps): bump actions/deploy-pages from 5.0.0 to 5.0.1 in the act… Mirror to Git Forges #406: Commit 46cd1a3 pushed by hyperpolymath
2s main
main
2s
chore(ci): repoint push-email-notify to smtp-notify-action (#309) Mirror to Git Forges #405: Commit ae33117 pushed by hyperpolymath
1s main
main
1s
chore(deps): bump the actions group with 2 updates (#308) Mirror to Git Forges #404: Commit de693ff pushed by hyperpolymath
1s main
main
1s
feat(labels): estate label tooling + auto-triage for new issues (#307) Mirror to Git Forges #403: Commit 8bafde2 pushed by hyperpolymath
1s main
main
1s
fix(ci): unbreak workflow YAML and add a complete actions.lock (#306) Mirror to Git Forges #402: Commit 45cbdf1 pushed by hyperpolymath
9s main
main
9s
refactor: migrate Markdown to AsciiDoc (#305) Mirror to Git Forges #401: Commit 1e4e22e pushed by hyperpolymath
Failure main
main
Failure
chore: global textual eradication of Nix and ReScript Mirror to Git Forges #400: Commit c84a144 pushed by hyperpolymath
Failure main
main
Failure
chore(nix->guix): delete Nix estate-wide (#138) Mirror to Git Forges #399: Commit 0029a09 pushed by hyperpolymath
Failure main
main
Failure
chore(guix): quality pass - fix stub/invalid names (#139) Mirror to Git Forges #398: Commit e96c15f pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump the actions group with 2 updates (#304) Mirror to Git Forges #397: Commit ea82632 pushed by hyperpolymath
Failure main
main
Failure
Change greeting from 'Hello' to 'Goodbye' Mirror to Git Forges #396: Commit f26235f pushed by hyperpolymath
Startup failure main
main
Startup failure