ci: docs: see if this brings back the modification dates

2026-10-28 09:16:15 +00:00 · 2025-04-25 06:34:57 -07:00
parent b8310da8be
commit 7cfebaa68c
1 changed files with 1 additions and 0 deletions
@@ -49,6 +49,7 @@ jobs:
        crate: gelatyx
    - name: Run build
      run: |
+        echo "target" > .dockerignore
        CI=false ./docs/build.sh
    - name: Publish
      if: ${{ github.event_name != 'pull_request' }}