install sbt in container.yml

apalache-mc · Dec 16, 2024 · c864103 · c864103
1 parent af3f1e3
commit c864103
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/container.yml b/.github/workflows/container.yml
@@ -29,6 +29,15 @@ jobs:
       - name: Checkout repository
         uses: actions/checkout@v4
 
+      - name: Set up JDK 17
+        uses: actions/setup-java@v3
+        with:
+          distribution: temurin
+          java-version: 17
+          cache: sbt
+      # see: https://github.com/actions/runner-images/issues/10788
+      - uses: sbt/setup-sbt@v1
+
       - name: Log in to the Container registry
         uses: docker/login-action@f054a8b539a109f9f41c372932f1ae047eff08c9
         with: