6 Commits

Author	SHA1	Message	Date
Ralf Gommers	f764d76a4a	docs: improve the Makefile dependency graph ... Uses Mermaid to render it as a diagram in the html docs.	2025-01-04 20:42:05 +01:00
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