summaryrefslogtreecommitdiffstats
path: root/src/tools/cargo/.github/workflows/contrib.yml
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-05-04 12:41:41 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-05-04 12:41:41 +0000
commit10ee2acdd26a7f1298c6f6d6b7af9b469fe29b87 (patch)
treebdffd5d80c26cf4a7a518281a204be1ace85b4c1 /src/tools/cargo/.github/workflows/contrib.yml
parentReleasing progress-linux version 1.70.0+dfsg1-9~progress7.99u1. (diff)
downloadrustc-10ee2acdd26a7f1298c6f6d6b7af9b469fe29b87.tar.xz
rustc-10ee2acdd26a7f1298c6f6d6b7af9b469fe29b87.zip
Merging upstream version 1.70.0+dfsg2.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/tools/cargo/.github/workflows/contrib.yml')
-rw-r--r--src/tools/cargo/.github/workflows/contrib.yml38
1 files changed, 38 insertions, 0 deletions
diff --git a/src/tools/cargo/.github/workflows/contrib.yml b/src/tools/cargo/.github/workflows/contrib.yml
new file mode 100644
index 000000000..bbd4a7ef7
--- /dev/null
+++ b/src/tools/cargo/.github/workflows/contrib.yml
@@ -0,0 +1,38 @@
+name: Contrib Deploy
+on:
+ push:
+ branches:
+ - master
+
+permissions:
+ contents: read
+
+jobs:
+ deploy:
+ permissions:
+ contents: write # for Git to git push
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v3
+ with:
+ fetch-depth: 0
+ - name: Install mdbook
+ run: |
+ mkdir mdbook
+ curl -Lf https://github.com/rust-lang/mdBook/releases/download/v0.4.27/mdbook-v0.4.27-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook
+ echo `pwd`/mdbook >> $GITHUB_PATH
+ - name: Deploy docs
+ run: |
+ cd src/doc/contrib
+ mdbook build
+ 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 contrib
+ mv ../book contrib
+ git add contrib
+ git commit -m "Deploy $GITHUB_SHA to gh-pages"
+ git push --force