ci #7394
This file contains hidden or 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
| name: ci | |
| on: | |
| push: | |
| branches: | |
| - master | |
| - main | |
| pull_request: | |
| workflow_run: | |
| workflows: ["Update distro tables"] | |
| types: [completed] | |
| jobs: | |
| # PRs only build and lint; deploying stays a default-branch affair. | |
| build: | |
| if: github.event_name == 'pull_request' | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: prefix-dev/setup-pixi@v0.10.0 | |
| - run: pixi run lint | |
| - run: pixi run build-docs | |
| deploy: | |
| if: github.event_name != 'pull_request' | |
| runs-on: ubuntu-latest | |
| # `ghp-import -p` pushes the built site to the gh-pages branch | |
| permissions: | |
| contents: write | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: prefix-dev/setup-pixi@v0.10.0 | |
| - run: pixi run gh-deploy |