From 9f4bb4d1ddf6d7cbc63eac7d76f382ff0543d686 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Mon, 22 Sep 2025 19:49:11 -0700 Subject: [PATCH] CI: bump spot to 2.14.2 --- .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 88a68a91a..9162e7406 100644 --- a/.github/workflows/pull-request-checks.yaml +++ b/.github/workflows/pull-request-checks.yaml @@ -181,7 +181,7 @@ jobs: DEBIAN_FRONTEND: noninteractive run: | # spot - SPOT_VERSION=2.14.1 + SPOT_VERSION=2.14.2 URL=https://download.opensuse.org/repositories/home:/adl/Debian_12/amd64 wget ${URL}/libbddx0_${SPOT_VERSION}.0-1_amd64.deb wget ${URL}/libspotgen0_${SPOT_VERSION}.0-1_amd64.deb