From 1a1af1fc65a4b1f725bb9169dc5c4259cdf8f176 Mon Sep 17 00:00:00 2001
From: Alex Archambault <alexandre.archambault@gmail.com>
Date: Mon, 21 Oct 2024 12:54:25 +0200
Subject: [PATCH] Compute index diff on CI

---
 .github/workflows/update-index.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/update-index.yml b/.github/workflows/update-index.yml
index 8861818..23f4999 100644
--- a/.github/workflows/update-index.yml
+++ b/.github/workflows/update-index.yml
@@ -3,6 +3,7 @@ on:
   push:
     branches:
       - master
+      - tweak-semeru
   schedule:
     - cron: "0 0 * * *"
   workflow_dispatch:
@@ -19,7 +20,12 @@ jobs:
       - run: ./scala-cli.sh .
         env:
           GH_TOKEN: ${{ secrets.INDEX_GITHUB_TOKEN }}
+
+      - name: Print diff
+        run: git diff --color
+
       - name: Create Pull Request
+        if: github.ref == 'refs/heads/master'
         id: cpr
         uses: peter-evans/create-pull-request@v7.0.5
         with:
@@ -28,6 +34,7 @@ jobs:
           delete-branch: true
           title: Update index
       - name: Generate Job Summary
+        if: github.ref == 'refs/heads/master'
         run: |-
           PR_NUMBER=$(echo "${{ steps.cpr.outputs.pull-request-number }}")
           PR_URL=$(echo "${{ steps.cpr.outputs.pull-request-url }}")