From 8db9451c0515e8bb67c5847a395aef889be79f29 Mon Sep 17 00:00:00 2001
From: Scott Morrison <scott.morrison@gmail.com>
Date: Sun, 5 Nov 2023 12:39:19 +1100
Subject: [PATCH 1/2] chore: use toolchain

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

diff --git a/lean-toolchain b/lean-toolchain
index 1e9ed23..14f72b5 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2023-10-12
+leanprover/lean4-pr-releases:pr-release-2749

From a27f24a6e4b7e89da02970d59e016eb5af48c367 Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <wjnawrocki@protonmail.com>
Date: Wed, 8 Nov 2023 11:53:36 -0500
Subject: [PATCH 2/2] build: force build directory

---
 lakefile.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lakefile.lean b/lakefile.lean
index 7d59fdb..9b590ae 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -3,6 +3,7 @@ open Lake DSL System
 
 package proofwidgets {
   preferReleaseBuild := true
+  buildDir := "build"
 }
 
 lean_lib ProofWidgets {}