7 Commits
Author SHA1 Message Date
Thomas Weber fa82d53a94 Update GitHub Actions workflows
- update actions/setup-node to fix extra 10 minute delay in CI
- update Node.js
- use version ranges instead of commit hashes to get future updates
  automatically (we already trust the GitHub Actions team)
- don't use npm cache in deploy workflow
2025-06-04 13:04:22 -05:00
Thomas Weber b900a375fa Update workflows based on zizmor audit 2024-12-24 19:58:46 -06:00
Muffin bb4bc02ee4 Bump GitHub Actions 2024-03-15 22:11:14 -05:00
Muffin 63267aecec Deploy the correct folder, whoops! 2024-03-15 21:58:27 -05:00
Muffin 79250a7a27 Enable npm cache in GitHub Actions 2024-03-15 21:55:14 -05:00
Muffin 50700010ab Ignore errors building jsdoc 2024-03-15 21:54:28 -05:00
Muffin e5097da366 Deploy playground to GitHub Pages 2024-03-15 21:51:17 -05:00