Make create sh work with pixi #14
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
name: build | |
on: | |
push: | |
pull_request: | |
jobs: | |
build: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Check out repo | |
uses: actions/checkout@v4 | |
- name: Install pixi | |
uses: prefix-dev/[email protected] | |
with: | |
pixi-version: v0.39.2 | |
# cache: true | |
# auth-host: prefix.dev | |
# auth-token: ${{ secrets.PREFIX_DEV_TOKEN }} | |
- name: pixi run clean | |
run: | | |
pixi run clean | |
- name: pixi run build | |
run: | | |
pixi run build | |
- name: pixi run check | |
run: | | |
pixi run check | |
- name: pixi run docs | |
run: | | |
pixi run docs | |
- name: test create.sh script | |
# (this is a duplication of the tasks above, but as long as we | |
# have the duplication, we should test both versions.) | |
run: | | |
pixi run bash create.sh | |