-
Notifications
You must be signed in to change notification settings - Fork 227
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
documentation builder bug fixes and general overhaul
Following extensive investigation in #2619 this PR finally fixes the documentation build and modernizes the workflow a bit: - runs the workflow on a schedule so that we can catch future errors once a week instead of whenever we update the docs - fixes the incorrect installation order by copying from the CI setup steps - fixes the path error in the docs building/commiting - reorders the steps somewhat to improve clarity of the actual doc build
- Loading branch information
1 parent
0419c44
commit 348aaed
Showing
1 changed file
with
51 additions
and
28 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters