From 674bd0c92482b67a79c6396068660e0f8e6cab7d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maur=C3=ADcio=20Meneghini=20Fauth?= Date: Thu, 19 Sep 2024 10:41:53 -0300 Subject: [PATCH] Update apt cache before installing sphinx MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit https://github.com/phpmyadmin/phpmyadmin/actions/runs/10929135157/job/30376698644 Signed-off-by: Maurício Meneghini Fauth --- .github/workflows/other-tools.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/other-tools.yml b/.github/workflows/other-tools.yml index 3a73c8e7a2..f4766ca20f 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 doc html SPHINXOPTS='-n -W -a'