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

NikolajBjorner merged 3 commits into

mainthehalleyyoung/a3-python:mainfrom

copilot/add-pip-installable-wheelthehalleyyoung/a3-python:copilot/add-pip-installable-wheelCopy head branch name to clipboard