add sbt in release :facepaaalm

apalache-mc · Dec 16, 2024 · af3f1e3 · af3f1e3
1 parent f530399
commit af3f1e3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -21,6 +21,8 @@ jobs:
         with:
           distribution: temurin
           java-version: 17
+      # see: https://github.com/actions/runner-images/issues/10788
+      - uses: sbt/setup-sbt@v1
       - name: Cut Release
         env:
           # NOTE: We must not use the default GITHUB_TOKEN for auth here,