From 0e6f75fd970511dddf1a89246fd6a05f3f57a127 Mon Sep 17 00:00:00 2001
From: Jakub Czajka <jczajka@google.com>
Date: Sat, 23 Dec 2023 22:41:55 +0100
Subject: [PATCH] [gym] Deploy stylesheet.

---
 gym.git/deploy.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 }}"
-- 
2.39.5