diff --git a/.github/workflows/tla.yml b/.github/workflows/tla.yml index 6166fdf..2cb71f8 100644 --- a/.github/workflows/tla.yml +++ b/.github/workflows/tla.yml @@ -24,7 +24,7 @@ jobs: with: distribution: temurin java-version: "21" - - uses: actions/cache@v4 + - uses: actions/cache@v6 with: path: specs/tla/.cache key: tla2tools-v1.7.4