Skip to content
Snippets Groups Projects
Verified Commit 2fb02441 authored by Martin Weise's avatar Martin Weise
Browse files

Remove stuff

parent bd091261
No related branches found
No related tags found
No related merge requests found
...@@ -527,8 +527,6 @@ release-docs: ...@@ -527,8 +527,6 @@ release-docs:
refs: refs:
- /^release-.*/ - /^release-.*/
script: script:
- apt-get update && apt-get install -y git make sed wget
- make docs
- eval $(ssh-agent -s) - eval $(ssh-agent -s)
- echo "$CI_KEY_PRIVATE" > /root/.ssh/id_rsa && chmod 0600 /root/.ssh/id_rsa - echo "$CI_KEY_PRIVATE" > /root/.ssh/id_rsa && chmod 0600 /root/.ssh/id_rsa
- echo "$CI_KEY_PUBLIC" > /root/.ssh/id_rsa.pub - echo "$CI_KEY_PUBLIC" > /root/.ssh/id_rsa.pub
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment