Skip to content

GitLab

[readme] Order build badges by importance for users

5 jobs for !2916 with feature/readme-build-badge-reorder
latest detached
d6b50bed
1 related merge request: !2916 [readme] Order build badges by importance for users
Status Name Job ID Coverage
  Trigger
manual full-dune-latest-release-clang #50965
bridge
manual full-dune-latest-release-gcc #50963
bridge
manual full-dune-master-gcc #50966
bridge
manual minimal-dune-latest-release-gcc #50964
bridge
 
  Downstream Modules
created trigger lecture #50967
bridge