diff options
author | Yuki Okushi <jtitor@2k36.org> | 2022-09-29 21:41:50 +0900 |
---|---|---|
committer | Yuki Okushi <jtitor@2k36.org> | 2022-09-29 21:41:50 +0900 |
commit | 9dc36bdcb0fe28da0aaf9ca17f70020a685ba4e6 (patch) | |
tree | da43943aa778ca954bb97b12ac2bc30cc9263811 /.github | |
parent | e507572650a7d4d70c351abff8ee1dc6274c0550 (diff) | |
download | rust-libc-9dc36bdcb0fe28da0aaf9ca17f70020a685ba4e6.tar.gz |
Deploy GitHub Pages via GitHub Actions
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/docs.yml | 43 |
1 files changed, 22 insertions, 21 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 11eac70fca..50102b83ec 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,34 +1,35 @@ -name: Upload documentation +name: Upload documentation to GitHub Pages on: push: branches: - master +# Sets permissions of `GITHUB_TOKEN` to allow deployment to GitHub Pages +permissions: + contents: read + pages: write + id-token: write + jobs: - upload_docs: - name: Upload documentation + deploy: + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} runs-on: ubuntu-22.04 - if: github.repository == 'rust-lang/libc' - steps: - - uses: actions/checkout@v3 - with: - fetch-depth: 0 + - name: Checkout + uses: actions/checkout@v3 - name: Setup Rust toolchain run: TARGET=x86_64-unknown-linux-gnu sh ./ci/install-rust.sh - name: Generate documentation run: LIBC_CI=1 sh ci/dox.sh - - name: Deploy GitHub Pages - run: | - git worktree add gh-pages gh-pages - git config user.name "Deploy from CI" - git config user.email "" - cd gh-pages - # Delete the ref to avoid keeping history. - git update-ref -d refs/heads/gh-pages - rm -rf * - mv ../target/doc/* . - git add . - git commit -m "Deploy $GITHUB_SHA to gh-pages" - git push --force + - name: Setup Pages + uses: actions/configure-pages@v2 + - name: Upload artifact + uses: actions/upload-pages-artifact@v1 + with: + path: 'target/doc' + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@v1 |