Publish to test.pypi.org #163
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Do not rename this file. It is used by name in the trusted publisher section | |
| # in pypi.org and test.pypi.org | |
| name: CI | |
| on: | |
| push: | |
| branches: | |
| - "**" # For now, let's build all branches. Roll this back if it gets too slow or we exhaust our quota. | |
| tags: | |
| - 'v[0-9]+.[0-9]+.[0-9]+' # Build v1.2.3 tags as well. We'll use tags as the criteria for publishing | |
| pull_request: | |
| branches: | |
| - "**" # * does not match '/' like sm/my-feature | |
| workflow_dispatch: # For manually triggering a build: https://docs.github.com/en/actions/writing-workflows/choosing-when-your-workflow-runs/events-that-trigger-workflows#workflow_dispatch | |
| jobs: | |
| build: | |
| strategy: | |
| matrix: | |
| # We mainly care about hardware rather than OS | |
| # macos-13 is x86 | |
| # macos-latest is arm64 | |
| # ubuntu-latest is x64 | |
| os: [ubuntu-latest, macos-latest, macos-13] | |
| runs-on: ${{ matrix.os }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| # Build (and test) Lean. Tests are all via #guard macros | |
| # now so you can't really build without testing. | |
| - uses: leanprover/lean-action@v1 | |
| - name: Run Lean tests | |
| run: lake exe klr | |
| - name: Install Python | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: '3.x' | |
| cache: 'pip' | |
| - name: Install dependencies | |
| working-directory: ./interop | |
| run: | | |
| python -m pip install --upgrade pip | |
| pip install -r requirements.txt | |
| - name: Run pytest | |
| working-directory: ./interop | |
| run: | | |
| pytest | |
| # For this step to succeed, you must have bumped the klr version in interop/pyproject.toml | |
| # Mostly followed guides here: | |
| # - https://github.com/pypa/gh-action-pypi-publish?tab=readme-ov-file | |
| # - https://packaging.python.org/en/latest/guides/publishing-package-distribution-releases-using-github-actions-ci-cd-workflows/ | |
| # NB: I needed to set the trusted publisher to repo NKL, not KLR, since that was its original name. Scary detail! No idea how I'd figure that out without knowing the original name. | |
| publish-to-testpypi: | |
| name: Publish Python 🐍 distribution 📦 to TestPyPI | |
| needs: | |
| - build | |
| if: startsWith(github.ref, 'refs/tags/') # only publish to pypi on tag pushes | |
| runs-on: ubuntu-latest | |
| environment: | |
| name: testpypi | |
| permissions: | |
| id-token: write # IMPORTANT: mandatory for trusted publishing | |
| steps: | |
| - uses: actions/checkout@v4 # for scripts | |
| - name: Download all the dists | |
| uses: actions/download-artifact@v4 | |
| with: | |
| # name: python-package-distributions | |
| # # unpacks all CIBW artifacts into dist/ | |
| # pattern: cibw-* | |
| path: dist/ | |
| merge-multiple: true | |
| - name: List the wheels | |
| run: | | |
| ls -1 dist/ | |
| - name: Rename OSX wheels | |
| working-directory: ./dist | |
| run: ../bin/rename-wheels # .. because we are starting in ./dist | |
| - name: Publish distribution 📦 to TestPyPI | |
| uses: pypa/gh-action-pypi-publish@release/v1 | |
| with: | |
| repository-url: https://test.pypi.org/legacy/ | |
| verbose: true | |
| skip-existing: true |