diff --git a/.github/workflows/quint.yml b/.github/workflows/quint.yml
index 26699e07..6dd041ea 100644
--- a/.github/workflows/quint.yml
+++ b/.github/workflows/quint.yml
@@ -37,7 +37,7 @@ jobs:
           node-version: 22
 
       # `quint verify` runs Apalache on the JVM.
-      - uses: actions/setup-java@v4
+      - uses: actions/setup-java@v5
         with:
           distribution: temurin
           java-version: 17