Skip to content

Merge branch 'feature/switch-to-heidelberg-buildslave' into 'master'

Steffen Müthing requested to merge cherry-pick-1295c81f into releases/2.6

[ci] Switch to Heidelberg build slave

See merge request !330 (merged)

(cherry picked from commit 1295c81f)

ed8114a0 [ci] Switch to Heidelberg build slave 0bd4f7fe [ci] Inform Dune CI scripts about number of available cores

Merge request reports