set workspace instead of prepending CMAKE_PREFIX_PATH by hand
Related merge request !58 to merge mimazure-docs-release
merge request
4 jobs
2 minutes 11 seconds, queued for 11 seconds
GitLab service scheduled maintenance on Friday, March 21st 2025 as of 08h00 Geneva time for an estimated period of 1 hour. Further information under OTG0154918.