From f6327d22ec041e9ffda3c4e2f805cf501fad24c5 Mon Sep 17 00:00:00 2001
From: Christoph Amrein <camrein@users.noreply.github.com>
Date: Thu, 4 Feb 2021 08:56:37 +0100
Subject: [PATCH] Now generating and uploading the artifacts for the release
 build.

---
 .github/workflows/dotnet-core.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/dotnet-core.yml b/.github/workflows/dotnet-core.yml
index 97a4a8d..bede545 100644
--- 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}}