From a072fc850200c76a6c9f4d764623c6f232060a15 Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <wjnawrocki@protonmail.com>
Date: Tue, 24 Oct 2023 11:04:51 -0400
Subject: [PATCH 1/4] ci: don't copy macOS metadata files

---
 .github/workflows/build.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index acf4500..b5836e9 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -53,10 +53,12 @@ jobs:
       # TODO: replace with just `lake upload $RELEASE_TAG` when lean4#2713 is fixed
       # References:
       # https://docs.github.com/en/actions/learn-github-actions/contexts#runner-context
+      # https://stackoverflow.com/questions/8766730/tar-command-in-mac-os-x-adding-hidden-files-why
       - name: Upload release archive
         if: github.ref_type == 'tag'
         # All our runners are 64-bit ¯\_(ツ)_/¯
         run: |
+          export COPYFILE_DISABLE=true
           tar -c -z -f ./${LEAN_OS}-64.tar.gz -C ./build .
           gh release upload ${RELEASE_TAG} ./${LEAN_OS}-64.tar.gz
         env:

From ba5940846abe956335c7f58fcc94b99bab7fa4dc Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <wjnawrocki@protonmail.com>
Date: Tue, 24 Oct 2023 12:44:04 -0400
Subject: [PATCH 2/4] ci: build widgets separately

---
 .github/workflows/build.yml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index b5836e9..46fd9bd 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -42,9 +42,13 @@ jobs:
 
       - uses: actions/checkout@v4
 
+      # TODO: investigate why `lake build` deadlocks on macOS
+      - name: Build widgets
+        run: npm clean-install && npm run build
+        working-directory: ./widgets
+
       - name: Build package
-        if: steps.cache-build.outputs.cache-hit != 'true'
-        run: lake build
+        run: lake build ProofWidgets
 
       - name: Create release for tag
         if: github.ref_type == 'tag'

From 73d7ec3c9e1d10fd0edc88c8bf881f331afa55b8 Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <wjnawrocki@protonmail.com>
Date: Tue, 24 Oct 2023 12:45:21 -0400
Subject: [PATCH 3/4] ci: typo

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 46fd9bd..c7f0cb4 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -45,7 +45,7 @@ jobs:
       # TODO: investigate why `lake build` deadlocks on macOS
       - name: Build widgets
         run: npm clean-install && npm run build
-        working-directory: ./widgets
+        working-directory: ./widget
 
       - name: Build package
         run: lake build ProofWidgets

From 98cef3b94026b09734a5bc2c26c012897a873188 Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <wjnawrocki@protonmail.com>
Date: Tue, 24 Oct 2023 12:49:12 -0400
Subject: [PATCH 4/4] ci: install more ram

---
 .github/workflows/build.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index c7f0cb4..106271a 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -46,6 +46,8 @@ jobs:
       - name: Build widgets
         run: npm clean-install && npm run build
         working-directory: ./widget
+        env:
+          NODE_OPTIONS: "--max-old-space-size=4096"
 
       - name: Build package
         run: lake build ProofWidgets