Skip to content

Actions: hyperpolymath/tangle

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
146 workflow runs
146 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 the actions group with 2 updates (#120) Mirror to Git Forges #146: Commit eea77e5 pushed by hyperpolymath
8s main
main
8s
feat(labels): estate label tooling + auto-triage for new issues (#119) Mirror to Git Forges #145: Commit 31f194e pushed by hyperpolymath
10s main
main
10s
fix(ci): the invisible-character gate never matched anything (#118) Mirror to Git Forges #144: Commit 5b64040 pushed by hyperpolymath
1s main
main
1s
chore(deps): bump the actions group with 2 updates (#117) Mirror to Git Forges #143: Commit d62ba08 pushed by hyperpolymath
7s main
main
7s
refactor: migrate Markdown to AsciiDoc (#116) Mirror to Git Forges #142: Commit 6894553 pushed by hyperpolymath
1s main
main
1s
chore(guix): quality pass - fix stub/invalid names (#139) (#114) Mirror to Git Forges #141: Commit fd90c94 pushed by hyperpolymath
2s main
main
2s
chore(nix->guix): delete Nix estate-wide (#138) (#115) Mirror to Git Forges #140: Commit 77b6267 pushed by hyperpolymath
1s main
main
1s
chore(deps): bump the actions group with 2 updates (#113) Mirror to Git Forges #139: Commit 68a2cd8 pushed by hyperpolymath
1s main
main
1s
chore(ci): make Scorecard periodic, not per-push (#111) Mirror to Git Forges #138: Commit 95d11cd pushed by hyperpolymath
1s main
main
1s
chore: fill derivable placeholders, drop false ARCHITECTURE, surface … Mirror to Git Forges #137: Commit c5daf0b pushed by hyperpolymath
7s main
main
7s
chore(deps): bump the actions group with 2 updates (#108) Mirror to Git Forges #136: Commit c3f73d6 pushed by hyperpolymath
10s main
main
10s
Claude/hopeful fermi i xnba (#107) Mirror to Git Forges #135: Commit 609a5ca pushed by hyperpolymath
1s main
main
1s
Delete GOVERNANCE.md (#106) Mirror to Git Forges #134: Commit dd1348f pushed by hyperpolymath
8s main
main
8s
Feat/jeg complete (#105) Mirror to Git Forges #133: Commit f29e136 pushed by hyperpolymath
10s main
main
10s
feat(jeg): close all 17 deferred rules; report the one remaining hole… Mirror to Git Forges #132: Commit 9144818 pushed by hyperpolymath
1s main
main
1s
feat(typecheck): QTT quantity semiring — strands are linear in weave … Mirror to Git Forges #131: Commit bfe25c1 pushed by hyperpolymath
1s main
main
1s
feat(jtv): the add{} injection island — Harvard data expressions (#94… Mirror to Git Forges #130: Commit fadd7a1 pushed by hyperpolymath
2s main
main
2s
fix(typecheck): implement [T-Twist-Strand] — (~a) on a named strand (… Mirror to Git Forges #129: Commit c0a362f pushed by hyperpolymath
10s main
main
10s
feat(jeg): judgement evidence graph — reify derivations, and CHECK th… Mirror to Git Forges #128: Commit 0366a8e pushed by hyperpolymath
10s main
main
10s
feat(tg-11): surface syntax for epistemic types + fix a second statem… Mirror to Git Forges #127: Commit 40e917d pushed by hyperpolymath
Skipped main
main
Skipped
feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct… Mirror to Git Forges #126: Commit cf56397 pushed by hyperpolymath
9s main
main
9s
fix(corpus): run conformance programs, and correct a second false ass… Mirror to Git Forges #125: Commit 1403f2a pushed by hyperpolymath
1s main
main
1s
feat(#92): widths need not agree for ==, and match arms join on wid… Mirror to Git Forges #124: Commit 478857f pushed by hyperpolymath
1s main
main
1s
feat(parser): weave is an expression, not only a statement (#88 B) (#93) Mirror to Git Forges #123: Commit 1223ea6 pushed by hyperpolymath
1s main
main
1s
fix(typecheck): infer recursive functions' return type by fixpoint (#… Mirror to Git Forges #122: Commit 4e6903f pushed by hyperpolymath
8s main
main
8s