Merge branch 'main' into main

moveit · Feb 18, 2022 · c5cc837 · c5cc837
2 parents e86d690 + 5bd7d98
commit c5cc837
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -16,12 +16,12 @@ jobs:
       fail-fast: false
       matrix:
         env:
-          - IMAGE: rolling-ci
+          - IMAGE: galactic-ci
             CCOV: true
-            ROS_DISTRO: rolling
-          - IMAGE: rolling-ci-testing
+            ROS_DISTRO: galactic
+          - IMAGE: galactic-ci-testing
             IKFAST_TEST: true
-            ROS_DISTRO: rolling
+            ROS_DISTRO: galactic
             CLANG_TIDY: pedantic
     env:
       CXXFLAGS: "-Wall -Wextra -Wwrite-strings -Wunreachable-code -Wpointer-arith -Wredundant-decls -Wno-deprecated-copy"