Skip to content
Snippets Groups Projects
Verified Commit 84117f95 authored by Tamas Gal's avatar Tamas Gal :speech_balloon:
Browse files

Fix known hosts

parent 43c1c934
Branches
Tags
No related merge requests found
before_script: before_script:
# workaround for https://github.com/JuliaDocs/Documenter.jl/issues/686 # workaround for https://github.com/JuliaDocs/Documenter.jl/issues/686
- apt-get -qq update; apt-get -y install git - apt-get -qq update; apt-get -y install git
- ssh-keyscan git.km3net.de:22 >> /root/.ssh/known_hosts - mkdir -p /root/.ssh && ssh-keyscan -H -t rsa git.km3net.de >> /root/.ssh/known_hosts
.script: .script:
script: script:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment