Skip to content
GitLab
Explore
Sign in
Register
Feature/metadata extraction
Code
Review changes
Check out branch
Download
Patches
Plain diff
Timo Koch
requested to merge
feature/metadata-extraction
into
master
Jun 20, 2021
Overview
26
Commits
5
Pipelines
22
Changes
9
Expand
Fixes
#885 (closed)
Use concepts
Think about metadata collection for parallel runs
postponed to future MR
Add test cases (
!3176 (merged)
and
!3271 (merged)
)
Edited
Sep 10, 2022
by
Timo Koch
Merge request reports
Loading