ci: Fix CUDA installation

diff --git a/ci/install-cuda b/ci/install-cuda
index 169f2a844e6a990e5f41ea2983362962c0a18b86..1e51b035bedebedf5eb1de8db4474bd3799b19ae 100755 (executable)
--- a/ci/install-cuda
+++ b/ci/install-cuda
@@ -19,7 +19,7 @@ echo "Installing CUDA support"
 
 retry wget https://developer.download.nvidia.com/compute/cuda/repos/ubuntu1804/x86_64/cuda-repo-ubuntu1804_${CUDA}_amd64.deb
 retry sudo dpkg -i cuda-repo-ubuntu1804_${CUDA}_amd64.deb
-retry sudo apt-key adv --fetch-keys http://developer.download.nvidia.com/compute/cuda/repos/ubuntu1804/x86_64/7fa2af80.pub
+retry sudo apt-key adv --fetch-keys https://developer.download.nvidia.com/compute/cuda/repos/ubuntu1804/x86_64/3bf863cc.pub
 retry sudo apt-get update -qq
 
 cuda_prefix=${CUDA:0:4}