From 0395295b398cf50a5cc594c8314d73ef1711f44b Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Thu, 13 Nov 2025 14:02:12 -0800 Subject: [PATCH] bump Spot to 2.14.3.16 --- .github/workflows/pull-request-checks.yaml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml index b45dd34fd..aca508266 100644 --- a/.github/workflows/pull-request-checks.yaml +++ b/.github/workflows/pull-request-checks.yaml @@ -198,13 +198,13 @@ jobs: DEBIAN_FRONTEND: noninteractive run: | # spot - SPOT_VERSION=2.14.2 + SPOT_VERSION=2.14.3.16 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 - wget ${URL}/libspot0_${SPOT_VERSION}.0-1_amd64.deb - wget ${URL}/spot_${SPOT_VERSION}.0-1_amd64.deb - sudo dpkg -i libbddx0_${SPOT_VERSION}.0-1_amd64.deb libspotgen0_${SPOT_VERSION}.0-1_amd64.deb libspot0_${SPOT_VERSION}.0-1_amd64.deb spot_${SPOT_VERSION}.0-1_amd64.deb + wget ${URL}/libbddx0_${SPOT_VERSION}-1_amd64.deb + wget ${URL}/libspotgen0_${SPOT_VERSION}-1_amd64.deb + wget ${URL}/libspot0_${SPOT_VERSION}-1_amd64.deb + wget ${URL}/spot_${SPOT_VERSION}-1_amd64.deb + sudo dpkg -i libbddx0_${SPOT_VERSION}-1_amd64.deb libspotgen0_${SPOT_VERSION}-1_amd64.deb libspot0_${SPOT_VERSION}-1_amd64.deb spot_${SPOT_VERSION}-1_amd64.deb - name: Confirm ltl2tgba is available and log the version installed run: ltl2tgba --version - name: Get the ebmc binary