Merge pull request #5679 from tautschnig/fix-xen-test

GitHub actions: Do not unnecessarily install recommended packages

Author: kroening

.github/workflows/build-and-test-Xen.yaml

@@ -17,9 +17,9 @@ jobs:
           # user input
           DEBIAN_FRONTEND: noninteractive
         run: |
-          sudo apt-get install -y coreutils  build-essential gcc git make flex bison software-properties-common libwww-perl python
-          sudo apt-get install -y bin86 gdb bcc liblzma-dev python-dev gettext iasl uuid-dev libncurses5-dev libncursesw5-dev pkg-config
-          sudo apt-get install -y libgtk2.0-dev libyajl-dev sudo time
+          sudo apt-get install --no-install-recommends -y coreutils  build-essential gcc git make flex bison software-properties-common libwww-perl python
+          sudo apt-get install --no-install-recommends -y bin86 gdb bcc liblzma-dev python-dev gettext iasl uuid-dev libncurses5-dev libncursesw5-dev pkg-config
+          sudo apt-get install --no-install-recommends -y libgtk2.0-dev libyajl-dev sudo time
 
       - name: Build CBMC tools
         run: |

.github/workflows/doxygen-check.yaml

@@ -14,6 +14,6 @@ jobs:
         # user input
         DEBIAN_FRONTEND: noninteractive
       run: |
-        sudo apt-get install -yq doxygen graphviz
+        sudo apt-get install --no-install-recommends -yq doxygen graphviz
     - name: Run Doxygen
       run: ./scripts/run_doxygen.sh

.github/workflows/pull-request-checks.yaml

@@ -16,7 +16,7 @@ jobs:
           # user input
           DEBIAN_FRONTEND: noninteractive
         run: |
-          sudo apt-get install -yq gcc gdb g++ maven jq flex bison libxml2-utils ccache
+          sudo apt-get install --no-install-recommends -yq gcc gdb g++ maven jq flex bison libxml2-utils ccache
           make -C src minisat2-download
       - name: Prepare ccache
         uses: actions/cache@v2
@@ -66,7 +66,7 @@ jobs:
           # user input
           DEBIAN_FRONTEND: noninteractive
         run: |
-          sudo apt-get install -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils dpkg-dev ccache
+          sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc g++ maven flex bison libxml2-utils dpkg-dev ccache
       - name: Prepare ccache
         uses: actions/cache@v2
         with:
@@ -224,7 +224,7 @@ jobs:
           # user input
           DEBIAN_FRONTEND: noninteractive
         run: |
-          sudo apt-get install -yq clang-format-7
+          sudo apt-get install --no-install-recommends -yq clang-format-7
       - name: Check updated lines of code match clang-format-7 style
         env:
           BASE_BRANCH: ${{ github.base_ref }}
@@ -305,7 +305,7 @@ jobs:
         with:
           submodules: recursive
       - name: Fetch dependencies
-        run: sudo apt install g++ flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache
+        run: sudo apt-get install --no-install-recommends -y g++ flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache
       - name: Prepare ccache
         uses: actions/cache@v2
         with:

.github/workflows/release-packages.yaml

@@ -13,7 +13,7 @@ jobs:
         with:
           submodules: recursive
       - name: Fetch dependencies
-        run: sudo apt install g++ flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache
+        run: sudo apt-get install --no-install-recommends -y g++ flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache
       - name: Prepare ccache
         uses: actions/cache@v2
         with:
@@ -69,7 +69,7 @@ jobs:
         with:
           submodules: recursive
       - name: Fetch dependencies
-        run: sudo apt install g++ flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache
+        run: sudo apt-get install --no-install-recommends -y g++ flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache
       - name: Prepare ccache
         uses: actions/cache@v2
         with: