Gitlab

Setup

Pipeline

Last modified June 20, 2024: adding worksho as seperate menu (c6e465a)