From a267f35e5312487cae7bbf6ec6670c661fd0da43 Mon Sep 17 00:00:00 2001
From: Allaun Silverfox <28494262+allaunthefox@users.noreply.github.com>
Date: Sat, 9 May 2026 22:17:47 -0500
Subject: [PATCH] Add Lean setup step to GitHub Actions workflow

---
 .github/workflows/copilot-setup-steps.yml | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 .github/workflows/copilot-setup-steps.yml

diff --git a/.github/workflows/copilot-setup-steps.yml b/.github/workflows/copilot-setup-steps.yml
new file mode 100644
index 00000000..a5095eb9
--- /dev/null
+++ b/.github/workflows/copilot-setup-steps.yml
@@ -0,0 +1,2 @@
+            - name: Setup Lean
+  uses: Julian/setup-lean@main