• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1name: Upload documentation to GitHub Pages
2
3on:
4  push:
5    branches:
6      - master
7
8# Sets permissions of `GITHUB_TOKEN` to allow deployment to GitHub Pages
9permissions:
10  contents: read
11  pages: write
12  id-token: write
13
14jobs:
15  deploy:
16    environment:
17      name: github-pages
18      url: ${{ steps.deployment.outputs.page_url }}
19    runs-on: ubuntu-22.04
20    steps:
21      - name: Checkout
22        uses: actions/checkout@v3
23      - name: Setup Rust toolchain
24        run: TARGET=x86_64-unknown-linux-gnu sh ./ci/install-rust.sh
25      - name: Generate documentation
26        run: LIBC_CI=1 sh ci/dox.sh
27      - name: Setup Pages
28        uses: actions/configure-pages@v2
29      - name: Upload artifact
30        uses: actions/upload-pages-artifact@v1
31        with:
32          path: 'target/doc'
33      - name: Deploy to GitHub Pages
34        id: deployment
35        uses: actions/deploy-pages@v1
36