Skip to content

Fix CI schedules

Description

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.

Review Status

Please provide details on any reviews related to this change and and the associated reviewers.

Merge request reports