Revert "CI: configure error on purpose"
Canceled
Guillaume Pasero
created pipeline for commit
90077dd9
, finished
Related merge request !526 to merge ci_error_report
4 minutes 4 seconds, queued for 3 seconds