Actually run the update action if the timestamp changed.

ArtifactDB · Dec 20, 2023 · 2797855 · 2797855
1 parent b05a48e
commit 2797855
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/update-indices.yaml b/.github/workflows/update-indices.yaml
@@ -38,7 +38,7 @@ jobs:
         OLDSTAMP=$(cat indices/modified)
         node scripts/update.js -d indices
         NEWSTAMP=$(cat indices/modified)
-        CHANGED=$(($NEWSTAMP == $OLDSTAMP))
+        CHANGED=$(($NEWSTAMP != $OLDSTAMP))
         echo "modified=CHANGED" >> "$GITHUB_OUTPUT"
 
     - name: Publishing files