ci: Add GitHub Actions for documentation deployment (#11540)

* Add GitHub Actions for documentation deployment

* Only update when docs change

* delete midnight build
This commit is contained in:
Julien Robert
2022-04-05 00:35:42 +02:00
committed by GitHub
parent 8b32094d1b
commit 2822f71b77
4 changed files with 37 additions and 3 deletions
View File