Skip to content

Actions: hyperpolymath/tangle

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
138 workflow runs
138 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) 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
fix(rsr): finish template instantiation + enforce it (#56) (#90) Mirror to Git Forges #121: Commit b53fc0e pushed by hyperpolymath
1s main
main
1s
feat(ci): gate the runnable corpus — examples/ and conformance/ (#89) Mirror to Git Forges #120: Commit 12a32ce pushed by hyperpolymath
1s main
main
1s
feat(tg-7): == on braids decides braid-group equivalence (#50 rulin… Mirror to Git Forges #119: Commit f489211 pushed by hyperpolymath
1s main
main
1s
chore(ci): remove dormant push-email notification workflow (#86) Mirror to Git Forges #118: Commit c595cd7 pushed by hyperpolymath
10s main
main
10s
chore(deps): bump the actions group with 2 updates (#85) Mirror to Git Forges #117: Commit 1639d76 pushed by hyperpolymath
1s main
main
1s
ci: vendor validation scripts and remove remote action pins (#84) Mirror to Git Forges #116: Commit d862f6f pushed by hyperpolymath
8s main
main
8s
fix(ci): re-point validate-action references at the ecosystem repos (… Mirror to Git Forges #115: Commit b00f8bc pushed by hyperpolymath
7s main
main
7s
fix: update CodeQL actions to SHA-pinned v3 (29b1f65c) (#82) Mirror to Git Forges #114: Commit 15b6f2e pushed by hyperpolymath
2s main
main
2s