From 36df1338af8dea67aa711c89ef0784d51cae69b5 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 29 Jan 2026 19:26:08 +0000
Subject: [PATCH 1/3] Initial plan


From 327c7fd38986e738f8423a0430bdead1d04c72b0 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 29 Jan 2026 19:28:07 +0000
Subject: [PATCH 2/3] Add GitHub Action workflow to build pip installable wheel

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/build-wheel.yml | 42 +++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 .github/workflows/build-wheel.yml

diff --git a/.github/workflows/build-wheel.yml b/.github/workflows/build-wheel.yml
new file mode 100644
index 0000000..6d262e7
--- /dev/null
+++ b/.github/workflows/build-wheel.yml
@@ -0,0 +1,42 @@
+name: Build Python Wheel
+
+on:
+  push:
+    branches: [ main, master ]
+  pull_request:
+    branches: [ main, master ]
+  release:
+    types: [ created ]
+  workflow_dispatch:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    
+    steps:
+    - name: Checkout code
+      uses: actions/checkout@v4
+    
+    - name: Set up Python
+      uses: actions/setup-python@v5
+      with:
+        python-version: '3.11'
+    
+    - name: Install build dependencies
+      run: |
+        python -m pip install --upgrade pip
+        pip install build
+    
+    - name: Build wheel
+      run: python -m build --wheel
+    
+    - name: Upload wheel artifact
+      uses: actions/upload-artifact@v4
+      with:
+        name: pyfromscratch-wheel
+        path: dist/*.whl
+        if-no-files-found: error
+        retention-days: 90
+    
+    - name: List built artifacts
+      run: ls -lh dist/

From f5191c0d3916b70a176bb89155dc3cd5f0d817dc Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 29 Jan 2026 19:30:03 +0000
Subject: [PATCH 3/3] Add explicit permissions to workflow for security best
 practices

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/build-wheel.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/build-wheel.yml b/.github/workflows/build-wheel.yml
index 6d262e7..80933a8 100644
--- a/.github/workflows/build-wheel.yml
+++ b/.github/workflows/build-wheel.yml
@@ -12,6 +12,8 @@ on:
 jobs:
   build:
     runs-on: ubuntu-latest
+    permissions:
+      contents: read
     
     steps:
     - name: Checkout code