diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml new file mode 100644 index 0000000..85d951b --- /dev/null +++ b/.github/workflows/docs.yaml @@ -0,0 +1,15 @@ +name: CI +on: + push: + branches: [ "master" ] + pull_request: + branches: [ "master" ] + workflow_dispatch: + +jobs: + build: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - name: Build doc + run: v doc -m . -f html -o doc/