5 Commits (9eecd0d33b3470d4ce9d58290ed6aa31973b9051)

Author SHA1 Message Date
  Ralf Gommers 6ede8b14c6 ci: fix CI job to deploy docs, and make it run on pull requests too 2 years ago
  Ralf Gommers 017a26863a Update GitHub Actions used in docs.yml 2 years ago
  Martin Kroeker 172d91846f
Don't try to deploy docs in a fork 2 years ago
  Matthew Barber 32c31ec82a Build docs to `docs/` in GitHub pages 2 years ago
  Matthew Barber 6c8c060c75 Build docs workflow 3 years ago