Skip to content

GitHub: Add a GitHub Action to publish docs #5

GitHub: Add a GitHub Action to publish docs

GitHub: Add a GitHub Action to publish docs #5

Workflow file for this run

name: docs-publish
on:
push:
branches:
- main
pull_request:
branches:
- main
jobs:
docs-publish:
runs-on: ubuntu-latest
steps:
- name: checkout repo
uses: actions/checkout@main
with:
fetch-tags: true
- name: publish docs
run: make docs-publish
env:
GIT_AUTHOR_NAME: "github-actions[bot]"
GIT_AUTHOR_EMAIL: "41898282+github-actions[bot]@users.noreply.github.com"