GitLab service scheduled maintenance on Monday, August 18th 2025 as of 07h00 Geneva time for a period of 3 hours. Further information under OTG0157026.

This is an archived project. Repository and other project resources are read-only.

Merge branch 'CMakeBuildUpdates-master-20200312' into 'master'

Passed

Riccardo Maria Bianchi created pipeline for commit 3d2f1494

5 years ago, finished 5 years ago

For master

9 minutes 12 seconds, queued for 1 seconds

Admin message

Merge branch 'CMakeBuildUpdates-master-20200312' into 'master'