Merge pull request #8155 from tautschnig/bugfixes/csmith-apt-update

CSmith GitHub action: run apt-get update
diffblue · Jan 10, 2024 · 8240bb8 · 8240bb8
2 parents 09dca35 + 96dc663
commit 8240bb8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git 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
@@ -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