From 3db2e57f889da96c3b448d34f6b235ce72fe939f Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Fri, 20 Oct 2023 11:19:10 -0400
Subject: [PATCH] Why should even GHA having zsh installed be easy...

---
 justfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/justfile b/justfile
index b84624aa..f3c004d5 100644
--- a/justfile
+++ b/justfile
@@ -51,7 +51,7 @@ _clone-test-dependencies: _clean-test-dependencies
 
 # Rebuild some test fixtures used in the test suite.
 _rebuild-test-fixtures:
-    #!/usr/bin/env zsh
+    #!/usr/bin/env sh
     set -euxo pipefail
     cd "{{ fixtures }}/example-lean3-project/"
     leanpkg help 2>&1 >/dev/null && leanpkg build || echo "Lean 3 not found."