Skip to content
Snippets Groups Projects

Fix the Moore CI docs pipeline

Merged Ross John Hunter requested to merge rjhunter-fix-doc-builds into 2024-patches
All threads resolved!

Cherry-picked the relevant commits from !3422 (merged) as requested by @jonrob.

With help from @jonrob and @clemenci, I've modified the .gitlab-ci.yml configuration so that the pipeline can work out what branch is being targeted and also to which nightly build slot that would correspond.

The latter should fix the docs again and keep them alive on all protected branches (they were hard-coded to look at lhcb-master, but of course we're working on 2024-patches and the two have diverged).

The former should speed up the formatting check, as currently it is checking every file that differs between the branch and master for correct formatting - now it should just check only those that differ w.r.t the given target branch.

Merge request reports

Merge request pipeline #7365159 passed

Merge request pipeline passed for ea2c5251

Approval is optional

Merged by Miroslav SaurMiroslav Saur 10 months ago (May 13, 2024 5:00pm UTC)

Merge details

  • Changes merged into with 7bc9d922.
  • Deleted the source branch.

Pipeline #7378157 passed

Pipeline passed for 7bc9d922 on 2024-patches

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading