Skip to content

Actions: hyperpolymath/tangle

Actions

GitHub Pages (Ddraig SSG)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pages.yml
23 workflow runs
23 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(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
feat(ci): gate the runnable corpus — examples/ and conformance/ (#89) GitHub Pages (Ddraig SSG) #5: Commit 12a32ce pushed by hyperpolymath
54s main
main
54s
feat(tg-7): == on braids decides braid-group equivalence (#50 rulin… GitHub Pages (Ddraig SSG) #4: Commit f489211 pushed by hyperpolymath
53s main
main
53s
chore(ci): remove dormant push-email notification workflow (#86) GitHub Pages (Ddraig SSG) #3: Commit c595cd7 pushed by hyperpolymath
52s main
main
52s
GitHub Pages (Ddraig SSG) GitHub Pages (Ddraig SSG) #2: Manually run by hyperpolymath
54s main
main
54s
ci: deploy docs via Ddraig SSG (#73) GitHub Pages (Ddraig SSG) #1: Commit 039169b pushed by hyperpolymath
1h 18m 32s main
main
1h 18m 32s