Fix CI schedules
This MR fixes the nightly scheduled pipeline, which hasn't run since !1563 (merged) was merged due to a misconfiguration that prevented gitlab from rendering the pipeline.
!1563 (merged) split off the documentation generation into an independent job, with the
pages job just picking up the artifacts and moving them into place. However, the new
documentation job was incorrectly set not to run on
schedules while the
pages job was, which lead to a conflict that gitlab silently ignored.
API Changes and Justification
Backwards Compatible Changes
- This change introduces no API changes
- This change adds new API calls
Backwards Incompatible Changes
- This change modifies an existing API
- This change removes an existing API
If any of the Backwards Incompatible check boxes are ticked please provide a justification why this change is necessary and why it needs to be done in a backwards incompatible way.
Please provide details on any reviews related to this change and and the associated reviewers.