Use long key for r

idris-hackers · Sep 24, 2018 · b580e30 · b580e30
1 parent 56ae825
commit b580e30
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -14,3 +14,4 @@ coverage/
 /public/files/
 .rake_tasks
 /.docker/
+vendor/
diff --git a/lib/travis/build/script/r.rb b/lib/travis/build/script/r.rb
@@ -70,8 +70,8 @@ def configure
                 sh.cmd 'sudo add-apt-repository '\
                   "\"deb #{repos[:CRAN]}/bin/linux/ubuntu "\
                   "$(lsb_release -cs)/\""
-                sh.cmd 'sudo apt-key adv --keyserver keyserver.ubuntu.com '\
-                  '--recv-keys E084DAB9'
+                sh.cmd 'apt-key adv --keyserver ha.pool.sks-keyservers.net '\
+                  '--recv-keys E298A3A825C0D65DFD57CBB651716619E084DAB9', sudo: true
 
                 # Add marutter's c2d4u plus ppa dependencies as listed on launchpad
                 if r_version_less_than('3.5.0')