From e4acc11fb5e24319cce5e8ceb83c716d74e3c5c9 Mon Sep 17 00:00:00 2001 From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com> Date: Fri, 3 Jul 2026 20:28:59 +0000 Subject: [PATCH 1/2] chore(deps): update actions/cache action to v6 --- .github/workflows/jepsen-test-scheduled.yml | 2 +- .github/workflows/jepsen-test.yml | 2 +- .github/workflows/tla-check.yml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/jepsen-test-scheduled.yml b/.github/workflows/jepsen-test-scheduled.yml index 789492e96..b4304e100 100644 --- a/.github/workflows/jepsen-test-scheduled.yml +++ b/.github/workflows/jepsen-test-scheduled.yml @@ -63,7 +63,7 @@ jobs: # ~100 jars at first launch. Keying on project.clj invalidates the # cache only when dependencies actually change. - name: Cache Maven and Leiningen artifacts - uses: actions/cache@v5 + uses: actions/cache@v6 with: path: | ~/.m2/repository diff --git a/.github/workflows/jepsen-test.yml b/.github/workflows/jepsen-test.yml index 6fecfe5e5..7bfc3c25f 100644 --- a/.github/workflows/jepsen-test.yml +++ b/.github/workflows/jepsen-test.yml @@ -35,7 +35,7 @@ jobs: # 429s during peak hours have been knocking the scheduled stress # run out, and the per-push run uses the same dependency set. - name: Cache Maven and Leiningen artifacts - uses: actions/cache@v5 + uses: actions/cache@v6 with: path: | ~/.m2/repository diff --git a/.github/workflows/tla-check.yml b/.github/workflows/tla-check.yml index 304882d56..af7265cdb 100644 --- a/.github/workflows/tla-check.yml +++ b/.github/workflows/tla-check.yml @@ -74,7 +74,7 @@ jobs: # whole point of the pin (codex P2 on PR #856 round 4). A full # miss-and-redownload is correct here. - name: Cache tla2tools.jar - uses: actions/cache@v5 + uses: actions/cache@v6 with: path: .cache/tla key: ${{ runner.os }}-tla-tools-${{ hashFiles('Makefile') }} From b009c085f998ad38d0686f2cb435ed3ecaf6f8b6 Mon Sep 17 00:00:00 2001 From: bootjp Date: Tue, 7 Jul 2026 21:33:24 +0900 Subject: [PATCH 2/2] Fix TLA tools checksum --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 9c9bcb620..ff1676fea 100644 --- a/Makefile +++ b/Makefile @@ -21,7 +21,7 @@ gen: # that motivates the implementation gaps). TLA_VERSION := v1.8.0 TLA_JAR := .cache/tla/tla2tools.jar -TLA_SHA256 := 237332bdcc79a35c7d26efa7b82c77c85c2744591c5598673a8a45085ff2a4fb +TLA_SHA256 := 9e27b5e19a69ae1f56aabf8403a6ed5598dbfa6e638908e5278ac39736c1543d TLA_URL := https://github.com/tlaplus/tlaplus/releases/download/$(TLA_VERSION)/tla2tools.jar TLA_LIB := ../lib