Skip to content

Actions: hyperpolymath/tangle

Actions

Deploy Jekyll with GitHub Pages dependencies preinstalled

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jekyll-gh-pages.yml
83 workflow runs
83 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): add dormant push-email notification workflow (#60) Deploy Jekyll with GitHub Pages dependencies preinstalled #83: Commit 8f34d2d pushed by hyperpolymath
1s main
main
1s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Deploy Jekyll with GitHub Pages dependencies preinstalled #82: Commit 5a18895 pushed by hyperpolymath
2s main
main
2s
chore(ci): bump standards reusable workflow pins (#58) Deploy Jekyll with GitHub Pages dependencies preinstalled #81: Commit 7824983 pushed by hyperpolymath
6h 51m 22s main
main
6h 51m 22s
chore: retire local issue/discussion templates -> inherit org .github… Deploy Jekyll with GitHub Pages dependencies preinstalled #80: Commit 559e10e pushed by hyperpolymath
12m 21s main
main
12m 21s
chore(deps): bump ruby/setup-ruby from 1.313.0 to 1.314.0 in the acti… Deploy Jekyll with GitHub Pages dependencies preinstalled #79: Commit cf9eea1 pushed by hyperpolymath
34s main
main
34s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Deploy Jekyll with GitHub Pages dependencies preinstalled #78: Commit a17e0c1 pushed by hyperpolymath
1m 36s main
main
1m 36s
docs: tangle AFFIRMATION + scoped table + maintainer-confirmed Verisi… Deploy Jekyll with GitHub Pages dependencies preinstalled #77: Commit b535083 pushed by hyperpolymath
24s main
main
24s
chore(deps): bump actions/checkout in the actions group Deploy Jekyll with GitHub Pages dependencies preinstalled #76: Commit 2fbe1ea pushed by hyperpolymath
3m 32s main
main
3m 32s
docs(grounding): align KRL ops + stack diagram to canonical spec Deploy Jekyll with GitHub Pages dependencies preinstalled #75: Commit 15a507a pushed by hyperpolymath
43s main
main
43s
docs: standardize contact/attribution email to j.d.a.jewell@open.ac.u… Deploy Jekyll with GitHub Pages dependencies preinstalled #74: Commit d4bc456 pushed by hyperpolymath
3m 52s main
main
3m 52s
chore(tg-6): record wasmi dev-dependency in Cargo.lock Deploy Jekyll with GitHub Pages dependencies preinstalled #73: Commit 5ed31f8 pushed by hyperpolymath
27s main
main
27s
docs(governance): fill required-file placeholders + fix project naming Deploy Jekyll with GitHub Pages dependencies preinstalled #72: Commit dc6f91c pushed by hyperpolymath
47s main
main
47s
ci: set CodeQL language matrix to actions (no JS/TS source in repo) Deploy Jekyll with GitHub Pages dependencies preinstalled #71: Commit 71fbca7 pushed by hyperpolymath
31s main
main
31s
fix: invalid // comment headers break YAML/just parsing (use #) Deploy Jekyll with GitHub Pages dependencies preinstalled #70: Commit 7cd0f79 pushed by hyperpolymath
27s main
main
27s
docs: mark TG-1 and TG-2 LANDED; add echo-types grade semiring design… Deploy Jekyll with GitHub Pages dependencies preinstalled #69: Commit e5dff6d pushed by hyperpolymath
26s main
main
26s
docs: document echo/product OCaml pipeline integration + expand wiki … Deploy Jekyll with GitHub Pages dependencies preinstalled #68: Commit 60ac2d4 pushed by hyperpolymath
29s main
main
29s
fix(echo): patch two exhaustiveness gaps + extend TG-4 round-trip corpus Deploy Jekyll with GitHub Pages dependencies preinstalled #67: Commit 67b50f6 pushed by hyperpolymath
34s main
main
34s
feat(echo): runtime eval + surface parser for echo/product forms Deploy Jekyll with GitHub Pages dependencies preinstalled #66: Commit f3ac1da pushed by hyperpolymath
32s main
main
32s
feat(tg-1): let-binding + de Bruijn substitution metatheory (weakenin… Deploy Jekyll with GitHub Pages dependencies preinstalled #65: Commit 9b3a32d pushed by hyperpolymath
56s main
main
56s
feat(echo): echoEq — structured loss for equality (residue = operand … Deploy Jekyll with GitHub Pages dependencies preinstalled #64: Commit bc2a0e6 pushed by hyperpolymath
43s main
main
43s
chore(deps): bump the actions group across 1 directory with 3 updates… Deploy Jekyll with GitHub Pages dependencies preinstalled #63: Commit 06abb05 pushed by hyperpolymath
21s main
main
21s
security: standardize secret scanning on TruffleHog (#41) Deploy Jekyll with GitHub Pages dependencies preinstalled #62: Commit c04c345 pushed by hyperpolymath
4m 25s main
main
4m 25s
docs: record tech-debt audit findings (2026-05-26) (#23) Deploy Jekyll with GitHub Pages dependencies preinstalled #61: Commit 1f091d4 pushed by hyperpolymath
1s main
main
1s
chore(fixtures): delete stale SafeDOMExample.res ReScript fixture (Re… Deploy Jekyll with GitHub Pages dependencies preinstalled #60: Commit 383e58e pushed by hyperpolymath
9s main
main
9s
chore(ci): replace secret-scanner.yml with reusable wrapper (#21) Deploy Jekyll with GitHub Pages dependencies preinstalled #59: Commit e2c6d51 pushed by hyperpolymath
27s main
main
27s