From d0c4218c79d7bc8ed737d4c8a6e7e2a7d1ba8e4c Mon Sep 17 00:00:00 2001
From: Emilien Bauer <bauer.emilien@gmail.com>
Date: Mon, 5 Jan 2026 16:20:04 +0000
Subject: [PATCH] Also publish on tags.

---
 .github/workflows/publish.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index c16d77f..33f7c33 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -1,6 +1,6 @@
 name: Publishing
 
-# Run on every push to main and every change on pull requests
+# Run on every push to main, release or change on pull requests
 on:
   push:
     branches: [ "main" ]
@@ -24,7 +24,8 @@ jobs:
           run: ./mill compile
 
         - name: Publish
-          if: github.ref == 'refs/heads/main'
+          # Only actually publish if new main commit or new tag
+          if: github.ref == 'refs/heads/main' || startsWith(github.ref, 'refs/tags/')
           env:
             MILL_PGP_SECRET_BASE64: ${{ secrets.PGP_SECRET_BASE64 }}
             MILL_PGP_PASSPHRASE: ${{ secrets.PGP_PASSPHRASE }}