fix pkg name after GitHub actions Ubuntu image has updated to 22.04

MRPT · Nov 18, 2022 · 3cecf7e · 3cecf7e
1 parent 1aff654
commit 3cecf7e
Showing 1 changed file with 2 additions and 12 deletions.
diff --git a/.github/workflows/build-linux.yml b/.github/workflows/build-linux.yml
@@ -20,30 +20,21 @@ jobs:
         # Github Actions requires a single row to be added to the build matrix.
         # See https://help.github.com/en/articles/workflow-syntax-for-github-actions.
         name: [
-          ubuntu-22.04-gcc,
           ubuntu-latest-clang,
           ubuntu-latest-gcc
         ]
 
         build_type: [ Release ]
         include:
-          - name: ubuntu-22.04-gcc
-            os: ubuntu-22.04
-            compiler: gcc
-            coverage: OFF
-            extra_pkgs_to_install: libdc1394-dev
-
           - name: ubuntu-latest-clang
             os: ubuntu-latest
             compiler: clang
             coverage: OFF
-            extra_pkgs_to_install: libdc1394-22-dev
 
           - name: ubuntu-latest-gcc
             os: ubuntu-latest
             compiler: gcc
             coverage: ON
-            extra_pkgs_to_install: libdc1394-22-dev
 
     steps:
       - name: Checkout
@@ -68,10 +59,9 @@ jobs:
                            libavformat-dev libswscale-dev libpcap-dev \
                            liboctomap-dev libopenni2-dev \
                            libtinyxml2-dev \
+                           libdc1394-dev \
                            yamllint
-                           
-          sudo apt install ${{ matrix.extra_pkgs_to_install }}
-          
+
           if [ "${{ matrix.os }}" = "ubuntu-latest" ]; then
             sudo apt install libicu-dev libsimpleini-dev
             # to enable pymrpt: