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