build

Merge pull request #4 from MaMMoS-project/make-create-sh-work-with-pixi #15

	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

Provide feedback