Skip to content

dummy: ci: Use dedicated runners for the build jobs

Arvid Jakobsson requested to merge arvid@mujx@dedicated-builds into master

The runners are configured to use the dune cache, which is a directory mounted on the docker container during the build time. Note that the executing jobs on the dedicated runners is controller by the dedicated tag and is only allocated for the build related jobs.

Update tag name

Merge request reports