-
Notifications
You must be signed in to change notification settings - Fork 107
40 lines (35 loc) · 1.21 KB
/
gh-pages.yaml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
# Simple workflow for deploying static content to GitHub Pages
name: Deploy mirrord rust-docs to gh-pages
on:
# Runs on pushes targeting the default branch
push:
branches: [main]
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
contents: write
pages: write
id-token: write
# Allow one concurrent deployment
concurrency:
group: ${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs:
# Generates rust docs with `RUSTDOCFLAGS` flags, and push it to `gh-pages` branch.
deploy-rust-docs:
runs-on: ubuntu-24.04
container: ghcr.io/metalbear-co/ci-docs-build:latest
env:
# enables the creation of a workspace index.html page.
RUSTDOCFLAGS: "--enable-index-page -Zunstable-options"
steps:
- uses: actions/checkout@v4
- uses: actions-rust-lang/setup-rust-toolchain@v1
with:
toolchain: nightly-2023-12-07
- run: cargo doc --document-private-items
- name: Deploy rust docs 🚀🦀
uses: JamesIves/github-pages-deploy-action@v4
with:
folder: target/doc # The folder the action should deploy