Skip to content

feat(actions): add PR edit permissions to labeler #85

feat(actions): add PR edit permissions to labeler

feat(actions): add PR edit permissions to labeler #85

Workflow file for this run

name: release-docs
on:
push:
tags:
- "*"
jobs:
build-docs:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
with:
fetch-depth: 0
submodules: true
- name: Build Docs
run: |
sudo apt-get update && sudo apt-get install -y libudev-dev
make docs-build
- name: Deploy
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/book/book