12add0d91Sopenharmony_ciname: Upload documentation to GitHub Pages
22add0d91Sopenharmony_ci
32add0d91Sopenharmony_cion:
42add0d91Sopenharmony_ci  push:
52add0d91Sopenharmony_ci    branches:
62add0d91Sopenharmony_ci      - master
72add0d91Sopenharmony_ci
82add0d91Sopenharmony_ci# Sets permissions of `GITHUB_TOKEN` to allow deployment to GitHub Pages
92add0d91Sopenharmony_cipermissions:
102add0d91Sopenharmony_ci  contents: read
112add0d91Sopenharmony_ci  pages: write
122add0d91Sopenharmony_ci  id-token: write
132add0d91Sopenharmony_ci
142add0d91Sopenharmony_cijobs:
152add0d91Sopenharmony_ci  deploy:
162add0d91Sopenharmony_ci    environment:
172add0d91Sopenharmony_ci      name: github-pages
182add0d91Sopenharmony_ci      url: ${{ steps.deployment.outputs.page_url }}
192add0d91Sopenharmony_ci    runs-on: ubuntu-22.04
202add0d91Sopenharmony_ci    steps:
212add0d91Sopenharmony_ci      - name: Checkout
222add0d91Sopenharmony_ci        uses: actions/checkout@v3
232add0d91Sopenharmony_ci      - name: Setup Rust toolchain
242add0d91Sopenharmony_ci        run: TARGET=x86_64-unknown-linux-gnu sh ./ci/install-rust.sh
252add0d91Sopenharmony_ci      - name: Generate documentation
262add0d91Sopenharmony_ci        run: LIBC_CI=1 sh ci/dox.sh
272add0d91Sopenharmony_ci      - name: Setup Pages
282add0d91Sopenharmony_ci        uses: actions/configure-pages@v2
292add0d91Sopenharmony_ci      - name: Upload artifact
302add0d91Sopenharmony_ci        uses: actions/upload-pages-artifact@v1
312add0d91Sopenharmony_ci        with:
322add0d91Sopenharmony_ci          path: 'target/doc'
332add0d91Sopenharmony_ci      - name: Deploy to GitHub Pages
342add0d91Sopenharmony_ci        id: deployment
352add0d91Sopenharmony_ci        uses: actions/deploy-pages@v1
36