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

..

workflows

ci: fix CI job to deploy docs, and make it run on pull requests too

2024-07-03 20:14:02 +02:00