Restore mod times for cached build files

2026-09-02 08:43:48 -04:00 · 2025-08-14 10:28:44 -04:00
parent dae87f2274
commit 1030367a21
1 changed files with 6 additions and 0 deletions
@@ -21,6 +21,12 @@ jobs:
      with:
        submodules: recursive

+    # Normalize file mod times
+    - name: Restore git file mtimes
+      run: |
+        pip install --user git-restore-mtime
+        ~/.local/bin/git-restore-mtime
+
    # Set Git config
    - name: Git config
      run: git config --global --add safe.directory "$GITHUB_WORKSPACE"