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