x

leanprover · Feb 7, 2025 · 57513e3 · 57513e3
1 parent 916b5fc
commit 57513e3
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,10 +12,10 @@ jobs:
     strategy:
       matrix:
         # We mainly care about hardware rather than OS
-        # macos-13 is x86. This one doesn't work for some reason.
+        # macos-13 is x86
         # macos-latest is arm64
         # ubuntu-latest is x64
-        os: [macos-latest, ubuntu-latest]
+        os: [macos-latest]
 
     runs-on: ${{ matrix.os }}
 

diff --git a/bin/make-wheel b/bin/make-wheel
@@ -23,7 +23,7 @@ if [ -z "${GITHUB_RUN_ID+x}" ]; then
 else
   # https://github.com/pypa/cibuildwheel
   echo "Building wheel via GitHub Actions"
-  python -m cibuildwheel --output-dir $WHEEL_DIR/wheelhouse
+  python -m cibuildwheel --output-dir $ROOT/wheelhouse
 fi
 
 # To upload the wheel, with the proper token in ~/.pypirc, run

diff --git a/interop/pyproject.toml b/interop/pyproject.toml
@@ -30,7 +30,7 @@ testpaths = [
 # NB: All this setuptools stuff took about 1000 hours to figure out so never delete this.
 [tool.setuptools]
 # This makes it ok for there to be both klr and wheelhouse (where we generates wheels on github actions) in the same directory
-packages = ["klr"]
+#packages = ["klr"]
 # This tricks setuptools into knowing this is a binary wheel
 ext-modules = [
   {name = "klr", sources = []}