Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
dumux-repositories
dumux
Pipelines
#4110
Merge branch 'fix/ci-use-correct-skipped-target' into 'master'
Fix/ci use correct skipped target See merge request
!2619
4 jobs for
!2616
with
cherry-pick-346d4efe
latest
merge request
7462ad77
1 related merge request:
!2616 Backport CI changes