diff --git a/.github/workflows/other-tools.yml b/.github/workflows/other-tools.yml index 0c1169a07b..442a27a7d2 100644 --- a/.github/workflows/other-tools.yml +++ b/.github/workflows/other-tools.yml @@ -19,7 +19,9 @@ jobs: uses: actions/checkout@v4 - name: Install Sphinx for the documentation build - run: sudo apt install sphinx-doc python3-sphinx + run: | + sudo apt-get update + sudo apt-get install -y sphinx-doc python3-sphinx - name: Build the documentation run: make -C docs html SPHINXOPTS='-n -W -a'