Skip to content

Add GitHub CI

Add GitHub CI #1

Workflow file for this run

name: CI
on:
push:
pull_request:
merge_group:
jobs:
build-docs:
runs-on: ubuntu-22.04
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Set up PDM
uses: pdm-project/setup-pdm@v4
with:
python-version: 3.9
- name: Build docs
run: pdm run build