Skip to content

add site to the gitignore #21

add site to the gitignore

add site to the gitignore #21

Workflow file for this run

name: checks
on:
push:
branches:
- main
pull_request:
permissions:
contents: read
jobs:
checks:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
with:
persist-credentials: false
- uses: prefix-dev/setup-pixi@f00437f565399d418b0acc85936d12c1fb668347 # v0.10.1
- run: pixi run lint
- run: pixi run build-docs