From: Jakub Czajka <jczajka@google.com>
Date: Sat, 23 Dec 2023 21:41:55 +0000 (+0100)
Subject: [gym] Deploy stylesheet.
X-Git-Url: https://git.ekhem.eu.org/?a=commitdiff_plain;h=0e6f75fd970511dddf1a89246fd6a05f3f57a127;p=metadata.git

[gym] Deploy stylesheet.
---

diff --git a/gym.git/deploy.yaml b/gym.git/deploy.yaml
index 83a8d7d..f27cccb 100644
--- a/gym.git/deploy.yaml
+++ b/gym.git/deploy.yaml
@@ -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 }}"