From 7240bc226912791e6ffe5339553ae70d946dca3d Mon Sep 17 00:00:00 2001
From: Daniel Huber <30466471+daniel0611@users.noreply.github.com>
Date: Sun, 23 Jul 2023 21:47:05 +0200
Subject: [PATCH] Do not publish tarballs in CI for tags

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c39a5c048..15f09cbe1 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -158,7 +158,7 @@ jobs:
         name: Publish compilation results
         # Don't run this in forks. This pushes to our separate repository that external contributors don't have access to.
         # We also only want to publish if we have pushed a branch, not on a pull request. Otherwise we would publish everything twice.
-        if: startsWith(github.repository, 'codeoverflow-org') && github.actor != 'dependabot[bot]' && github.event_name != 'pull_request'
+        if: startsWith(github.repository, 'codeoverflow-org') && github.actor != 'dependabot[bot]' && github.event_name != 'pull_request' && github.ref_type != 'tag'
         # Only publish anything if we're sure this version compiles (obviously) and all tests pass.
         needs:
         - build