From e3720fbe41b57fa1387170b2cc0b98775839b885 Mon Sep 17 00:00:00 2001
From: Christoph Knittel <ck@cca.io>
Date: Fri, 29 Aug 2025 19:25:00 +0200
Subject: [PATCH] Fix: do not try publishing api docs if nothing has changed

---
 .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 ce481a6c2f..0eb07086ba 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -518,7 +518,7 @@ jobs:
           npm run build
 
       - name: Commit and push
-        if: ${{ startsWith(github.ref, 'refs/tags/v') }}
+        if: ${{ steps.diffcheck.outputs.clean == 'false' && startsWith(github.ref, 'refs/tags/v') }}
         run: |
           git config --global user.name "github-actions[bot]"
           git config --global user.email "github-actions@rescript-lang.org"