Skip to content

Actions: hyperpolymath/tangle

Actions

GitHub Pages (Ddraig SSG)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pages.yml
30 workflow runs
30 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
feat(labels): estate label tooling + auto-triage for new issues (#119) GitHub Pages (Ddraig SSG) #30: Commit 31f194e pushed by hyperpolymath
3h 40m 15s main
main
3h 40m 15s
fix(ci): the invisible-character gate never matched anything (#118) GitHub Pages (Ddraig SSG) #29: Commit 5b64040 pushed by hyperpolymath
3h 37m 44s main
main
3h 37m 44s
chore(deps): bump the actions group with 2 updates (#117) GitHub Pages (Ddraig SSG) #28: Commit d62ba08 pushed by hyperpolymath
52s main
main
52s
refactor: migrate Markdown to AsciiDoc (#116) GitHub Pages (Ddraig SSG) #27: Commit 6894553 pushed by hyperpolymath
1h 20m 46s main
main
1h 20m 46s
chore(guix): quality pass - fix stub/invalid names (#139) (#114) GitHub Pages (Ddraig SSG) #26: Commit fd90c94 pushed by hyperpolymath
3h 30m 56s main
main
3h 30m 56s
chore(nix->guix): delete Nix estate-wide (#138) (#115) GitHub Pages (Ddraig SSG) #25: Commit 77b6267 pushed by hyperpolymath
3h 35m 47s main
main
3h 35m 47s
chore(deps): bump the actions group with 2 updates (#113) GitHub Pages (Ddraig SSG) #24: Commit 68a2cd8 pushed by hyperpolymath
56s main
main
56s
chore(ci): make Scorecard periodic, not per-push (#111) GitHub Pages (Ddraig SSG) #23: Commit 95d11cd pushed by hyperpolymath
9h 49m 4s main
main
9h 49m 4s
chore: fill derivable placeholders, drop false ARCHITECTURE, surface … GitHub Pages (Ddraig SSG) #22: Commit c5daf0b pushed by hyperpolymath
1m 0s main
main
1m 0s
chore(deps): bump the actions group with 2 updates (#108) GitHub Pages (Ddraig SSG) #21: Commit c3f73d6 pushed by hyperpolymath
59s main
main
59s
Claude/hopeful fermi i xnba (#107) GitHub Pages (Ddraig SSG) #20: Commit 609a5ca pushed by hyperpolymath
51s main
main
51s
Delete GOVERNANCE.md (#106) GitHub Pages (Ddraig SSG) #19: Commit dd1348f pushed by hyperpolymath
57s main
main
57s
Feat/jeg complete (#105) GitHub Pages (Ddraig SSG) #18: Commit f29e136 pushed by hyperpolymath
1m 18s main
main
1m 18s
feat(jeg): close all 17 deferred rules; report the one remaining hole… GitHub Pages (Ddraig SSG) #17: Commit 9144818 pushed by hyperpolymath
52s main
main
52s
feat(typecheck): QTT quantity semiring — strands are linear in weave … GitHub Pages (Ddraig SSG) #16: Commit bfe25c1 pushed by hyperpolymath
1m 59s main
main
1m 59s
feat(jtv): the add{} injection island — Harvard data expressions (#94… GitHub Pages (Ddraig SSG) #15: Commit fadd7a1 pushed by hyperpolymath
56s main
main
56s
fix(typecheck): implement [T-Twist-Strand] — (~a) on a named strand (… GitHub Pages (Ddraig SSG) #14: Commit c0a362f pushed by hyperpolymath
1m 1s main
main
1m 1s
feat(jeg): judgement evidence graph — reify derivations, and CHECK th… GitHub Pages (Ddraig SSG) #13: Commit 0366a8e pushed by hyperpolymath
1m 2s main
main
1m 2s
feat(tg-11): surface syntax for epistemic types + fix a second statem… GitHub Pages (Ddraig SSG) #12: Commit 40e917d pushed by hyperpolymath
1m 7s main
main
1m 7s
feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct… GitHub Pages (Ddraig SSG) #11: Commit cf56397 pushed by hyperpolymath
36m 1s main
main
36m 1s
fix(corpus): run conformance programs, and correct a second false ass… GitHub Pages (Ddraig SSG) #10: Commit 1403f2a pushed by hyperpolymath
10m 40s main
main
10m 40s
feat(#92): widths need not agree for ==, and match arms join on wid… GitHub Pages (Ddraig SSG) #9: Commit 478857f pushed by hyperpolymath
5m 11s main
main
5m 11s
feat(parser): weave is an expression, not only a statement (#88 B) (#93) GitHub Pages (Ddraig SSG) #8: Commit 1223ea6 pushed by hyperpolymath
1m 5s main
main
1m 5s
fix(typecheck): infer recursive functions' return type by fixpoint (#… GitHub Pages (Ddraig SSG) #7: Commit 4e6903f pushed by hyperpolymath
59s main
main
59s
fix(rsr): finish template instantiation + enforce it (#56) (#90) GitHub Pages (Ddraig SSG) #6: Commit b53fc0e pushed by hyperpolymath
55s main
main
55s