Skip to content

Add browser-extensions and services inventory indices to document… #24

Add browser-extensions and services inventory indices to document…

Add browser-extensions and services inventory indices to document… #24

name: (5.x) Deploy GH pages
# From https://github.com/rust-lang/mdBook/wiki/Automated-Deployment%3A-GitHub-Actions#GitHub-Pages-Deploy
on:
workflow_dispatch:
push:
branches:
- main
paths:
- "docs/**"
jobs:
deploy:
runs-on: ubuntu-24.04
permissions:
contents: write # To push a branch
pages: write # To push to a GitHub Pages site
id-token: write # To update the deployment status
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- uses: actions/checkout@v5
- name: Setup mdBook
uses: jontze/action-mdbook@v4
with:
token: ${{ secrets.GITHUB_TOKEN }}
use-linkcheck: true
use-mermaid: true
use-toc: true
- run: mdbook build
working-directory: docs
- name: Setup Pages
uses: actions/configure-pages@v5
- name: Upload artifact
uses: actions/upload-pages-artifact@v4
with:
path: "docs/book"
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4