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

..

workflows

Update GitHub Actions workflows

2025-06-04 13:04:22 -05:00

ISSUE_TEMPLATE.md

Improve contribution guidelines and issue/pr templates

2017-01-17 16:57:01 -05:00

PULL_REQUEST_TEMPLATE.md

Improve contribution guidelines and issue/pr templates

2017-01-17 16:57:01 -05:00