Skip to content

[bugfix][ci] try to fix ubuntu run.

Robert K requested to merge bugfix/duneci into master

Try to fix ubuntu runs.

Merge request reports