Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: Remove the deploy_docs_production job from the scheduled pipeline
Fixes the "'deploy_docs_production' job needs 'build_docs' job, but 'build_docs' is not in any previous stage" issue.
- Loading branch information