]> git.ekhem.eu.org Git - metadata.git/commitdiff
[gym] Deploy stylesheet.
authorJakub Czajka <jczajka@google.com>
Sat, 23 Dec 2023 21:41:55 +0000 (22:41 +0100)
committerJakub Czajka <jczajka@google.com>
Sun, 24 Dec 2023 18:45:06 +0000 (19:45 +0100)
gym.git/deploy.yaml

index 83a8d7d6f666815c98d5fa34581cd5acc4c714a9..f27cccb3e6c72a40d4a40190b52dec8f343bb1e8 100644 (file)
@@ -17,7 +17,7 @@
       become: true
     - name: Checkout scripts to the destination directory
       command: git --work-tree={{ dest }} --git-dir={{ repo }} checkout main \
-        --force *.sh
+        --force *.sh *.css
       become: true
     - find:
         paths: "{{ dest }}"