Skip to content
Snippets Groups Projects

Run project generation on a way smaller container

Merged Sebastian Pape requested to merge feature/project_generation into master
1 file
+ 1
1
Compare changes
  • Side-by-side
  • Inline
+ 1
1
@@ -43,7 +43,7 @@ variables:
- for i in "${!dependencies[@]}"; do
- git submodule add -b "${i%%@*}" --depth 1 ${dependencies[$i]} Plugins/${i#*@}
- done
- git remote rm origin && git commit -am "Generated Project" --author="project-generation-bot <>"
- git remote rm origin && git commit -am "Generated Project" --author="project-generation-bot <support@vr.rwth-aachen.de>"
artifacts:
name: "Generated_Project_${CI_PROJECT_NAME}"
paths: ["*"]
Loading