ci: restore file modification times to aid caching

crytic · Mar 4, 2023 · 0641ca1 · 0641ca1
1 parent 54d8964
commit 0641ca1
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -63,6 +63,13 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v3
 
+      - name: Restore timestamps (Windows)
+        if: runner.os == 'Windows'
+        run: |
+          for f in $(git ls-tree -r -t --full-name --name-only HEAD) ; do
+            touch -t $(git log --pretty=format:%cd --date=format:%Y%m%d%H%M.%S -1 HEAD -- "$f") "$f"
+          done
+
       - name: Cache Local
         uses: actions/cache@v3
         with: