Skip to content

Improve documentation articles by adding short abstracts to them. #8

Improve documentation articles by adding short abstracts to them.

Improve documentation articles by adding short abstracts to them. #8

Workflow file for this run

name: Build Documentation
on:
push:
branches:
- main
tags:
- "*"
pull_request:
branches:
- "*"
permissions:
contents: write
jobs:
build-documentation:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Build Docs
run: |
./script/build_docs
- name: Deploy Docs
if: github.ref == 'refs/heads/main'
uses: JamesIves/github-pages-deploy-action@v4
with:
folder: docs