Skip to content

GitLab

[metadata] Outsource functions

4 jobs for !2687 with feature/metadata-extraction
detached
f29cbeca
1 related merge request: !2687 WIP: Feature/metadata extraction
Status Name Job ID Coverage
  Trigger
manual #19801
bridge
full-dune-2.7-clang
manual #19799
bridge
full-dune-2.7-gcc
manual #19800
bridge
minimal-dune-2.7-gcc
 
  Downstream Modules
created #19802
bridge
trigger lecture