Now generating and uploading the artifacts for the release build.

dafny-lang · Feb 4, 2021 · f6327d2 · f6327d2
1 parent 5fe7ffc
commit f6327d2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/dotnet-core.yml b/.github/workflows/dotnet-core.yml
@@ -85,14 +85,14 @@ jobs:
       with:
         file: ./${{env.coverageFile}}
     - name: Prepare Artifacts
-      if: ${{github.ref == 'refs/heads/master'}}
+      if: ${{github.ref == 'refs/heads/master' || contains(github.ref, 'refs/tags/')}}
       shell: pwsh
       run: |
         dotnet publish --configuration Release --no-restore -p:SatelliteResourceLanguages=en --output ${{env.publishPath}} dafny/Source/DafnyDriver/DafnyDriver.csproj
         dotnet publish --configuration Release --no-restore -p:SatelliteResourceLanguages=en --output ${{env.publishPath}} Source/DafnyLS/DafnyLS.csproj
         Copy-Item ${{matrix.z3}} ${{env.publishPath}}/z3 -Recurse
     - name: Upload Artifacts
-      if: ${{github.ref == 'refs/heads/master'}}
+      if: ${{github.ref == 'refs/heads/master' || contains(github.ref, 'refs/tags/')}}
       uses: actions/upload-artifact@v2
       with:
         name: ${{env.artifactName}}