Fetch GPG key from GitHub via https.

ros-infrastructure · Oct 29, 2021 · 2eeaa3c · 2eeaa3c
1 parent e202119
commit 2eeaa3c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -22,7 +22,8 @@ jobs:
       - name: Install dependencies
         run: |
           echo "deb http://packages.ros.org/ros/ubuntu $(lsb_release -sc) main" | sudo tee -a /etc/apt/sources.list.d/ros-latest.list
-          sudo apt-key adv --keyserver hkp://ha.pool.sks-keyservers.net:80 --recv-key C1CF6E31E6BADE8868B172B4F42ED6FBAB17C654
+          wget https://raw.githubusercontent.com/ros/rosdistro/master/ros.asc -O /tmp/ros.asc
+          sudo apt-key add /tmp/ros.asc
           sudo apt-get update -qq
           sudo apt-get install dpkg -y
           sudo apt-get install -y python-rosdep