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.

INcrease number of proc used for make in the CI

Failed

Marilena Bandieramonte created pipeline for commit 37704704

5 years ago, finished 5 years ago

For master

42 minutes 21 seconds, queued for 1 seconds

Admin message

INcrease number of proc used for make in the CI