update timestamp if needed

stefanb · Sep 13, 2022 · 3d1a8aa · 3d1a8aa
1 parent 513624a
commit 3d1a8aa
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/make.yml b/.github/workflows/make.yml
@@ -59,6 +59,15 @@ jobs:
     - name: Run make split
       run: make split
 
+    - name: update timestamp if needed
+      run: |
+      if [[ $(git diff --stat) != '' ]]; then
+        echo 'git dirty, updating timestamp'
+        date +%s > "timestamp.txt"
+      else
+        echo 'no git changes, no timestamp update needed'
+      fi
+
     # Runs a set of commands using the runners shell
     - name: Check git diff
       run: |