Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
ift
NIFTy
Merge requests
!708
Merged
Created
Nov 15, 2021
by
Philipp Arras
@parras
Maintainer
Options
Cut down CI time a little
Overview
1
Commits
2
Pipelines
2
Changes
2
I have made sure that the conceptional output of the changed demos has not changed
Edited
Nov 15, 2021
by
Philipp Arras