Repository navigation

Add GitHub Actions workflow to build pip-installable wheel - #1

Merged

NikolajBjorner merged 3 commits into

mainfrom

copilot/add-pip-installable-wheel

Jan 29, 2026

Merged

Add GitHub Actions workflow to build pip-installable wheel#1
NikolajBjorner merged 3 commits into
mainfrom
copilot/add-pip-installable-wheel

Commits on Jan 29, 2026
- Initial plan
  Copilot
  committed
  36df133
- Add GitHub Action workflow to build pip installable wheel
  
  Copilot
  and
  NikolajBjorner
  committed
  327c7fd
- Add explicit permissions to workflow for security best practices
  
  Copilot
  and
  NikolajBjorner
  committed
  f5191c0