Aufgrund einer Wartung wird GitLab am 29.10. zwischen 9:00 und 10:00 Uhr kurzzeitig nicht zur Verfügung stehen. / Due to maintenance, GitLab will be temporarily unavailable on 29.10. between 9:00 and 10:00 am.

Commit 3e2935a3 authored by Evgeny Kusmenko's avatar Evgeny Kusmenko

Update .gitlab-ci.yml

parent ff5e9b22
Pipeline #293870 failed with stage
in 16 seconds
...@@ -14,7 +14,7 @@ githubjob: ...@@ -14,7 +14,7 @@ githubjob:
- mkdir -p ~/.ssh - mkdir -p ~/.ssh
# - cat gitlab-known-hosts >> ~/.ssh/known_hosts # - cat gitlab-known-hosts >> ~/.ssh/known_hosts
script: script:
- git clone https://github.com/MontiCore/EmbeddedMontiArc.git - git clone git@github.com:MontiCore/EmbeddedMontiArc.git
- cd EmbeddedMontiArc - cd EmbeddedMontiArc
- git subtree pull --prefix languages/EmbeddedMontiArc https://git.rwth-aachen.de/monticore/EmbeddedMontiArc/languages/EmbeddedMontiArc.git master - git subtree pull --prefix languages/EmbeddedMontiArc https://git.rwth-aachen.de/monticore/EmbeddedMontiArc/languages/EmbeddedMontiArc.git master
- git push --force - git push --force
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment