File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -11,13 +11,13 @@ tasks:
1111 - cd book && mdbook build
1212 - mkdir -p website/public
1313 # Copy the book into the website path, using rsync so it only copies new files
14- - rsync -ai --checksum --delete book/book/ website/public/book/
14+ - rsync -ai --checksum --delete --no-times book/book/ website/public/book/
1515 # (we don't use `build-playground-dependencies`, since that uses the dev profile)
1616 - cd playground && npm ci && npm run build
1717 # We place the playground app in a nested path, because we want to use
1818 # prql-lang.org/playground with an iframe containing the playground.
1919 # Possibly there's a more elegant way of doing this...
20- - rsync -ai --checksum --delete playground/dist/
20+ - rsync -ai --checksum --delete --no-times playground/dist/
2121 website/public/playground/playground/
2222
2323 run-website :
You can’t perform that action at this time.
0 commit comments