From c93b4aab520538f07c61c72b592e0a359ddf9b06 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sun, 23 Jan 2022 00:31:52 -0300
Subject: aux/: Update

---
 aux/ci/ci-build.sh     | 2 +-
 aux/workflow/style.css | 9 +++++++++
 2 files changed, 10 insertions(+), 1 deletion(-)

(limited to 'aux')

diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh
index 5e5e656..8d18252 100755
--- a/aux/ci/ci-build.sh
+++ b/aux/ci/ci-build.sh
@@ -59,5 +59,5 @@ EOF
 		RUNNER='sh -c'
 	fi
 
-	$RUNNER 'make clean public dev-check'
+	$RUNNER 'make clean dev-check'
 } 2>&1 | tee "$LOGFILE"
diff --git a/aux/workflow/style.css b/aux/workflow/style.css
index 56e4712..c3496b5 100644
--- a/aux/workflow/style.css
+++ b/aux/workflow/style.css
@@ -59,4 +59,13 @@
   .CANCELLED, .DONE, .WONTFIX {
     color: green;
   }
+
+  pre > code {
+    display: block;
+    border: 1px solid #ccc;
+    border-radius: 10px;
+    padding: 10px;
+    overflow: auto;
+    white-space: pre;
+  }
 </style>
-- 
cgit v1.2.3