diff options
author | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-10-15 09:48:30 +0900 |
---|---|---|
committer | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-10-15 09:48:30 +0900 |
commit | 1294a291e1a0edee14b34b9136443dd3292b2292 (patch) | |
tree | a16e416bc1993d2db831e636a4f6f4fefaeb53e7 /.github | |
parent | d1d64b17315edbc964ca8642e15ade0f6f017364 (diff) | |
download | rust-libc-1294a291e1a0edee14b34b9136443dd3292b2292.tar.gz |
Upload documentation to gh-pages from GHA
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/docs.yml | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml new file mode 100644 index 0000000000..33580940a3 --- /dev/null +++ b/.github/workflows/docs.yml @@ -0,0 +1,25 @@ +name: Upload documentation + +on: + push: + branches: + - master + +jobs: + upload_docs: + name: Upload documentation + runs-on: ubuntu-18.04 + if: github.repository == 'rust-lang/libc' + + steps: + - uses: actions/checkout@v2 + - 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: Upload documentation to GitHub Pages + uses: rust-lang/simpleinfra/github-actions/static-websites@master + with: + deploy_dir: target/doc + github_token: "${{ secrets.GITHUB_TOKEN }}" + if: github.ref == 'refs/heads/master' |