Skip to content
Snippets Groups Projects
Commit 9ec71c3b authored by Zeger-Jan van de Weg's avatar Zeger-Jan van de Weg
Browse files

Merge branch 'patch-2' into 'master'

Use full gpg-key ID (closes #21)

Closes #21

See merge request !60
parents 054bf206 26e43dac
No related branches found
No related tags found
1 merge request!60Use full gpg-key ID (closes #21)
Pipeline #
Loading
Loading
@@ -9,7 +9,7 @@ before_script:
- apt-get install apt-transport-https -yqq
# Add keyserver for SBT
- echo "deb http://dl.bintray.com/sbt/debian /" | tee -a /etc/apt/sources.list.d/sbt.list
- apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 642AC823
- apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 2EE0EA64E40A89B84B2DF73499E82A75642AC823
# Install SBT
- apt-get update -yqq
- apt-get install sbt -yqq
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment