From fe78cadb7c373fa1840a13d179c2cc25be2150b7 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Tue, 25 Nov 2025 09:31:39 -0800 Subject: [PATCH] CI: change Spot download URL This changes the URL where the Spot binaries are downloaded to www.lre.epita.fr. The currently used mirror redirects to another mirror, where the files are missing. --- .github/workflows/pull-request-checks.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml index 6cbc6b7bf..922da2ae0 100644 --- a/.github/workflows/pull-request-checks.yaml +++ b/.github/workflows/pull-request-checks.yaml @@ -199,7 +199,7 @@ jobs: run: | # spot SPOT_VERSION=2.14.3.16 - URL=https://download.opensuse.org/repositories/home:/adl/Debian_12/amd64 + URL=https://www.lre.epita.fr/repo/debian/stable/ wget ${URL}/libbddx0_${SPOT_VERSION}-1_amd64.deb wget ${URL}/libspotgen0_${SPOT_VERSION}-1_amd64.deb wget ${URL}/libspot0_${SPOT_VERSION}-1_amd64.deb