Skip to content
Docs

Update Metric documentation (#558) #233

Sign in to view logs

Update Metric documentation (#558)

Update Metric documentation (#558) #233

Workflow file for this run

.github/workflows/docs.yaml at e00a43b
name: Docs
on:
push:
branches:
- main
pull_request:
jobs:
deploy:
runs-on: ubuntu-20.04
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- uses: actions/checkout@v4
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: '0.4.10'
- run: mdbook build docs
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/main' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/book