Skip to content

Actions: hyperpolymath/rescript-tea

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: update SCM files with project information GitHub Pages #35: Commit 40bafde pushed by hyperpolymath
6h 40m 10s main
main
6h 40m 10s
docs: add CONTRIBUTING.md GitHub Pages #34: Commit 10a6c56 pushed by hyperpolymath
3h 44m 26s main
main
3h 44m 26s
docs: add SCM checkpoint files GitHub Pages #33: Commit bcb03d7 pushed by hyperpolymath
48m 32s main
main
48m 32s
Apply rhodium repository hygiene GitHub Pages #32: Commit e9f62cd pushed by hyperpolymath
24m 29s main
main
24m 29s
docs: update STATE.scm with proven integration status GitHub Pages #31: Commit 0fe67e1 pushed by hyperpolymath
3m 9s main
main
3m 9s
feat: configure Deno for ReScript compilation (no Node.js) GitHub Pages #30: Commit 1d1d4ab pushed by hyperpolymath
2m 47s main
main
2m 47s
feat: integrate proven formally verified library GitHub Pages #29: Commit 8b8fe8f pushed by hyperpolymath
2m 59s main
main
2m 59s
docs: add checkpoint files for state tracking GitHub Pages #28: Commit 733d884 pushed by hyperpolymath
1h 4m 25s main
main
1h 4m 25s
feat(ci): enable Hypatia scanning GitHub Pages #27: Commit 17258b2 pushed by hyperpolymath
1h 24m 40s main
main
1h 24m 40s
chore: commit local changes before sync GitHub Pages #26: Commit ac82c0a pushed by hyperpolymath
2h 58m 59s main
main
2h 58m 59s
deps(actions): bump actions/upload-pages-artifact from 3.0.1 to 4.0.0… GitHub Pages #25: Commit ec3882c pushed by hyperpolymath
2m 56s main
main
2m 56s
deps(actions): bump trufflesecurity/trufflehog from 3.92.4 to 3.92.5 … GitHub Pages #24: Commit 895531f pushed by hyperpolymath
18s main
main
18s
deps(npm): bump rescript from 12.0.2 to 12.1.0 in the rescript group … GitHub Pages #23: Commit ee44bca pushed by hyperpolymath
14s main
main
14s
deps(actions): bump github/codeql-action from 3.27.0 to 4.31.10 (#30) GitHub Pages #22: Commit 9d93e88 pushed by hyperpolymath
11s main
main
11s
deps(actions): bump actions/cache from 4.0.2 to 5.0.2 (#31) GitHub Pages #21: Commit 8f3436b pushed by hyperpolymath
10s main
main
10s
deps(actions): bump haskell-actions/setup from 2.7.5 to 2.10.3 (#32) GitHub Pages #20: Commit 87fe8e2 pushed by hyperpolymath
6s main
main
6s
chore: sync template files and configuration GitHub Pages #19: Commit 7a90b58 pushed by hyperpolymath
30m 12s main
main
30m 12s
deps(actions): bump webfactory/ssh-agent from 0.9.0 to 0.9.1 (#22) GitHub Pages #18: Commit 1cd6529 pushed by hyperpolymath
1m 3s main
main
1m 3s
deps(actions): bump actions/checkout from 4.1.1 to 6.0.1 (#23) GitHub Pages #17: Commit ccc2f81 pushed by hyperpolymath
22s main
main
22s
deps(actions): bump trufflesecurity/trufflehog from 3.92.3 to 3.92.4 … GitHub Pages #16: Commit d0ff5c8 pushed by hyperpolymath
28s main
main
28s
deps(actions): bump dtolnay/rust-toolchain from 56f84321dbccf38fb67ce… GitHub Pages #15: Commit a839352 pushed by hyperpolymath
26s main
main
26s
deps(actions): bump ossf/scorecard-action from 2.4.0 to 2.4.3 (#26) GitHub Pages #14: Commit ff896e3 pushed by hyperpolymath
1m 46s main
main
1m 46s
Update README.adoc GitHub Pages #13: Commit 3795d40 pushed by hyperpolymath
2m 33s main
main
2m 33s
Add SCM metadata files (STATE, META, ECOSYSTEM) GitHub Pages #12: Commit 358fa06 pushed by hyperpolymath
58m 4s main
main
58m 4s
Update license to Palimpsest-MPL-1.0 GitHub Pages #11: Commit b898308 pushed by hyperpolymath
23m 17s main
main
23m 17s