From 9e7a752d05ad02ce9592b8d3ca476c7d8f7920e7 Mon Sep 17 00:00:00 2001
From: David Van Horn <dvanhorn@cs.umd.edu>
Date: Sun, 28 Jan 2024 10:07:15 -0500
Subject: [PATCH] syntax error in push.yml.

---
 .github/workflows/push.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 53a15e05..47295908 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -25,7 +25,7 @@ jobs:
       run: |
         export LINK_DIR=/usr/lib/x86_64-linux-gnu
         raco pkg install --auto ziggy/
-	raco pkg install langs/
+        raco pkg install langs/
         raco make www/main.scrbl
         raco test langs
         make -C www main