Skip to content

Actions: hyperpolymath/echo-types

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
448 workflow runs
448 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
Reconcile Echo identity evidence and record Agda checks (#359) Mirror to Git Forges #448: Commit cd85288 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump hyperpolymath/smtp-notify-action from 0.5.0 to 0.5.… Mirror to Git Forges #447: Commit b0982c4 pushed by hyperpolymath
Startup failure main
main
Startup failure
proofs: declare the strict flag set in every module that can take it … Mirror to Git Forges #446: Commit 1073d60 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci(hypatia): re-sync the scan to the template — token, Dependabot sco… Mirror to Git Forges #445: Commit 1939e7e pushed by hyperpolymath
Startup failure main
main
Startup failure
proofs: make the repo's own modules pass the strict flag set (#355) Mirror to Git Forges #444: Commit 71d6dd6 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: re-sync three workflows to the rsr-template-repo canon (Hypatia f… Mirror to Git Forges #443: Commit 3582c9b pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(agda): repair EchoSearchExample against current axis-8 API and wi… Mirror to Git Forges #442: Commit 7f1778c pushed by hyperpolymath
Startup failure main
main
Startup failure
docs: point the ordinal lane at hyperpolymath/ordinal-notation (#351) Mirror to Git Forges #441: Commit cb1eaa3 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: repin the standards reusables to metadatastician/standards (#352) Mirror to Git Forges #440: Commit 0205254 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump github/codeql-action from 4.38.3 to 4.39.1 in the a… Mirror to Git Forges #439: Commit 83bc659 pushed by hyperpolymath
10s main
main
10s
chore(ordinal): move the ordinal lane out of echo-types (do not merge… Mirror to Git Forges #438: Commit b1dcc29 pushed by hyperpolymath
6m 29s main
main
6m 29s
ci: drop secrets: inherit where unused; explicit mirror secrets; scor… Mirror to Git Forges #437: Commit 703dd77 pushed by hyperpolymath
8m 12s main
main
8m 12s
ci(agda): typecheck the experimental echo-additive tree standalone (#… Mirror to Git Forges #436: Commit 8d7e882 pushed by hyperpolymath
6m 49s main
main
6m 49s
feat(fidelity): build Fibre on Echo; reclassify EchoFidelity as Tier … Mirror to Git Forges #435: Commit e1a8470 pushed by hyperpolymath
10s main
main
10s
docs(kernel): classify EchoFidelity as a standalone draft outside the… Mirror to Git Forges #434: Commit 0d5f7fc pushed by hyperpolymath
19s main
main
19s
ci: repin standards reusables to 75bd5994, record them in actions.loc… Mirror to Git Forges #433: Commit e367957 pushed by hyperpolymath
22s main
main
22s
chore(deps): bump github/codeql-action from 4.38.2 to 4.38.3 in the a… Mirror to Git Forges #432: Commit 92ac330 pushed by hyperpolymath
9s main
main
9s
chore: remove Standard Operating Psychopathy game Mirror to Git Forges #431: Commit e38fd46 pushed by hyperpolymath
10s main
main
10s
Add echos exploration: fibre accounting draft (unverified), design no… Mirror to Git Forges #430: Commit 116b109 pushed by hyperpolymath
29s main
main
29s
Add and document the SOP bunker sim with expeditions and save/load (#… Mirror to Git Forges #429: Commit 01657ff pushed by hyperpolymath
12s main
main
12s
Standard Operating Psychopathy — playable bunker-management sim (v1 +… Mirror to Git Forges #428: Commit c25e0ac pushed by hyperpolymath
11s main
main
11s
chore(deps): bump the actions group with 2 updates (#338) Mirror to Git Forges #427: Commit 5cfc1ca pushed by hyperpolymath
12s main
main
12s
chore(deps): bump github/codeql-action from 4.38.1 to 4.38.2 in the a… Mirror to Git Forges #426: Commit da140cc pushed by hyperpolymath
10s main
main
10s
docs: add Signed commits section to CONTRIBUTING (#333) Mirror to Git Forges #425: Commit 2be247a pushed by hyperpolymath
5m 10s main
main
5m 10s
docs(foundation): keep the 2026-05-18 history entries append-only (#336) Mirror to Git Forges #424: Commit 3b21ff7 pushed by hyperpolymath
11s main
main
11s