summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorYuki Okushi <huyuumi.dev@gmail.com>2020-10-15 09:48:30 +0900
committerYuki Okushi <huyuumi.dev@gmail.com>2020-10-15 09:48:30 +0900
commit1294a291e1a0edee14b34b9136443dd3292b2292 (patch)
treea16e416bc1993d2db831e636a4f6f4fefaeb53e7 /.github
parentd1d64b17315edbc964ca8642e15ade0f6f017364 (diff)
downloadrust-libc-1294a291e1a0edee14b34b9136443dd3292b2292.tar.gz
Upload documentation to gh-pages from GHA
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/docs.yml25
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'