Skip to content

GitLab

[doc] correct the parameters in json

5 jobs for !2954 with feature/doc-update-parameterlist
latest detached
f7d790ed
1 related merge request: !2954 Feature/doc update parameterlist
Status Name Job ID Coverage
  Trigger
manual full-dune-latest-release-clang #56400
bridge
manual full-dune-latest-release-gcc #56398
bridge
manual full-dune-master-gcc #56401
bridge
manual minimal-dune-latest-release-gcc #56399
bridge
 
  Downstream Modules
created trigger lecture #56402
bridge