From 96dc663262e52c9ba008838ca524eb50646ad1c7 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 10 Jan 2024 12:15:49 +0000 Subject: [PATCH] CSmith GitHub action: run apt-get update This is to fix failures to fetch a security update from Ubuntu mirrors. Run `apt-get update` just like we do in other GitHub actions. Also fix the Doxygen job configuration, which was also missing the update step before package installation (but seemingly didn't fail thus far). --- .github/workflows/csmith.yaml | 1 + .github/workflows/doxygen-check.yaml | 1 + 2 files changed, 2 insertions(+) diff --git a/.github/workflows/csmith.yaml b/.github/workflows/csmith.yaml index 371ea7e3e4c..a5e144ac055 100644 --- a/.github/workflows/csmith.yaml +++ b/.github/workflows/csmith.yaml @@ -18,6 +18,7 @@ jobs: # user input DEBIAN_FRONTEND: noninteractive run: | + sudo apt-get update sudo apt-get install --no-install-recommends -y build-essential flex bison maven ccache clang-10 clang++-10 sudo apt-get install --no-install-recommends -y csmith libcsmith-dev make -C src minisat2-download diff --git a/.github/workflows/doxygen-check.yaml b/.github/workflows/doxygen-check.yaml index 4b1ade1f84a..07d28bd3654 100644 --- a/.github/workflows/doxygen-check.yaml +++ b/.github/workflows/doxygen-check.yaml @@ -17,6 +17,7 @@ jobs: # user input DEBIAN_FRONTEND: noninteractive run: | + sudo apt-get update sudo apt-get install --no-install-recommends -yq doxygen graphviz - name: Run Doxygen run: ./scripts/run_doxygen.sh