merge changes

ProvableHQ · Sep 22, 2023 · e803375 · e803375
2 parents f985c2b + 9c20f42
commit e803375
Show file tree

Hide file tree

Showing 189 changed files with 6,272 additions and 176 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -139,7 +139,9 @@ jobs:
     runs-on: macos-latest
     steps:
       - name: Xcode Select
-        uses: devbotsxyz/[email protected]
+        uses: maxim-lobanov/setup-xcode@v1
+        with:
+          xcode-version: latest-stable
 
       - name: Checkout
         uses: actions/checkout@v2