GitLab service scheduled maintenance on Friday, March 21st 2025 as of 08h00 Geneva time for an estimated period of 1 hour. Further information under OTG0154918.
It was not used and proved cumbersome to maintain.
Closes #41 (closed)
Build succeeds.