diff --git a/.github/workflows/deep-tests.yml b/.github/workflows/deep-tests.yml
index d73db419708..c96a2b02e48 100644
--- a/.github/workflows/deep-tests.yml
+++ b/.github/workflows/deep-tests.yml
@@ -34,17 +34,13 @@ jobs:
           ref: ${{ inputs.sha }}
 
       - name: Get short sha
-        id: short-sha
-        run: echo "::set-output name=sha_short::$(git rev-parse --short HEAD)"
+        run: echo "sha_short=`git rev-parse --short HEAD`" >> $GITHUB_ENV
 
       - name: Get current date
-        id: date
-        run: echo "::set-output name=date::$(date +'%Y-%m-%d')"
+        run: echo "date=`date +'%Y-%m-%d'`" >> $GITHUB_ENV
 
     outputs:
-      short-sha: ${{ steps.short-sha.outputs.sha_short }}
-      date: ${{ steps.date.outputs.date }}
-      name: nightly-${{ steps.date.outputs.date }}-${{ steps.short-sha.outputs.sha_short }}
+      name: nightly-${{ env.date }}-${{ env.sha_short }}
 
   publish-release:
     if: github.repository_owner == 'dafny-lang'
@@ -56,7 +52,7 @@ jobs:
       tag_name: nightly
       release_nuget: true
       draft: false
-      release_notes: "This is an automatically published nightly release. This release is not as stable as versioned releases and does not contain release notes."
+      release_notes: "This is an automatically published nightly release. This release may not be as stable as versioned releases and does not contain release notes."
       prerelease: true
     secrets:
       nuget_api_key: ${{ secrets.NUGET_API_KEY }}
diff --git a/.github/workflows/integration-tests-reusable.yml b/.github/workflows/integration-tests-reusable.yml
index 9e925604652..a74028e3cdd 100644
--- a/.github/workflows/integration-tests-reusable.yml
+++ b/.github/workflows/integration-tests-reusable.yml
@@ -76,7 +76,7 @@ jobs:
       if: matrix.target-language-version == 'oldest'
       uses: actions/setup-java@v3
       with:
-        java-version: 1.8
+        java-version: 8
         distribution: corretto
     - name: Set up newest supported JDK
       if: matrix.target-language-version == 'newest'
diff --git a/.github/workflows/publish-release-reusable.yml b/.github/workflows/publish-release-reusable.yml
index b13bb2bb757..6716da9c2a1 100644
--- a/.github/workflows/publish-release-reusable.yml
+++ b/.github/workflows/publish-release-reusable.yml
@@ -62,14 +62,17 @@ jobs:
       if: matrix.os == 'ubuntu-20.04'
       run: |
         sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-9 60
-    - name: Set up JDK 1.8
+    - name: Set up JDK 18
       uses: actions/setup-java@v3
       with:
-        java-version: 1.8
+        java-version: 18
         distribution: corretto
     - uses: actions/setup-node@v3
     - run: npm install bignumber.js
-
+    - name: Set up Python
+      uses: actions/setup-python@v4
+      with: 
+       python-version: '3.11'
     - name: Build Dafny
       run: |
         dotnet build dafny/Source/Dafny.sln