chore: Remove final set-output (#3342)

.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 }}

.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'

.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