Skip to content

GitLab

Merge branch 'update-readme-ci' into 'master' 

[readme] Gitlab-Ci update

See merge request !167
1 job for master
009fc490
No related merge requests found.
Status Name Job ID Coverage
  Trigger Pipelines
passed full-dune-2.7-gcc #38760
bridge