Skip to content

GitLab

[test][kovaszny] port kovaszny problem

5 jobs for !2843 with port/problem-kovaszny
latest detached
de6ca54e
1 related merge request: !2843 Cleanup/ port problem kovaszny
Status Name Job ID Coverage
  Trigger
manual full-dune-2.7-clang #41584
bridge
manual full-dune-2.7-gcc #41582
bridge
manual full-dune-master-gcc #41585
bridge
manual minimal-dune-2.7-gcc #41583
bridge
 
  Downstream Modules
created trigger lecture #41586
bridge