Commit Graph

5 Commits

Author SHA1 Message Date
Ralf Gommers 6ede8b14c6 ci: fix CI job to deploy docs, and make it run on pull requests too 2024-07-03 20:14:02 +02:00
Ralf Gommers 017a26863a Update GitHub Actions used in docs.yml
- Updates to latest versions for all actions
- Pin actions not maintained by GitHub under `github.com/action` to exact
  commit hashes. This is good practice for security, since tags can be
  moved and then arbitray new code may execute. Since updating commit
  hashes is slightly more hassle, the trade-off made here is to trust
  GitHub, but not third-party actions.

This should also solve the warnings about Node.js 16 actions being
deprecated that is currently visible on the log page when docs.yml
is executed.
2024-06-28 20:12:24 +02:00
Martin Kroeker 172d91846f
Don't try to deploy docs in a fork 2024-05-20 22:53:43 +02:00
Matthew Barber 32c31ec82a Build docs to `docs/` in GitHub pages 2024-03-20 12:55:05 +00:00
Matthew Barber 6c8c060c75 Build docs workflow 2024-03-14 08:45:49 +00:00