Skip to content
GitLab

add pipeline for publishing hands_on pages

Merged vseitz requested to merge add-pipeline-for-pages into main

This MR adds a Gitlab Pages pipeline, which will not work for now, as we neither have a working gitlab pages, nor a runner :)