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

1.1 KiB

Raw Blame History

View Raw