From 829fb7b35d103af4ab40c9c48d19feade81a246b Mon Sep 17 00:00:00 2001
From: Joel Rosdahl <joel@rosdahl.net>
Date: Sat, 30 Apr 2022 22:18:07 +0200
Subject: [PATCH] ci: Fix CUDA installation

---
 ci/install-cuda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/install-cuda b/ci/install-cuda
index 169f2a844..1e51b035b 100755
--- 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}
-- 
2.47.2