2020-08-11 21:32:59 +00:00
|
|
|
name: gh-pages
|
|
|
|
|
|
|
|
on:
|
|
|
|
push:
|
|
|
|
branches:
|
|
|
|
- master
|
|
|
|
release:
|
2020-09-16 21:25:43 +00:00
|
|
|
types: [published]
|
2020-08-11 21:32:59 +00:00
|
|
|
|
2020-09-01 19:59:28 +00:00
|
|
|
env:
|
|
|
|
CARGO_TERM_COLOR: always
|
|
|
|
|
2020-08-11 21:32:59 +00:00
|
|
|
jobs:
|
|
|
|
deploy:
|
|
|
|
runs-on: ubuntu-latest
|
2020-09-16 19:43:44 +00:00
|
|
|
outputs:
|
|
|
|
tag_name: ${{ steps.prepare_tag.outputs.tag_name }}
|
2020-08-11 21:32:59 +00:00
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v2
|
|
|
|
|
|
|
|
- name: Setup mdBook
|
|
|
|
uses: peaceiris/actions-mdbook@v1
|
|
|
|
with:
|
|
|
|
mdbook-version: '0.4.1'
|
|
|
|
|
2020-08-13 19:46:31 +00:00
|
|
|
# This builds the book in gh-pages-build. See https://github.com/rust-lang-nursery/mdBook/issues/698
|
2020-08-11 21:32:59 +00:00
|
|
|
- name: Build the guide
|
2020-08-13 19:46:31 +00:00
|
|
|
run: mdbook build -d ../gh-pages-build guide
|
2020-08-11 21:32:59 +00:00
|
|
|
|
2020-08-13 19:46:31 +00:00
|
|
|
# This adds the docs to gh-pages-build/doc
|
2020-08-11 21:32:59 +00:00
|
|
|
- name: Build the doc
|
|
|
|
run: |
|
|
|
|
cargo doc --features="default num-bigint num-complex" --no-deps
|
2020-08-13 19:46:31 +00:00
|
|
|
cp -r target/doc gh-pages-build/doc
|
|
|
|
echo "<meta http-equiv=refresh content=0;url=pyo3/index.html>" > gh-pages-build/doc/index.html
|
2020-08-11 21:32:59 +00:00
|
|
|
|
|
|
|
- name: Prepare tag
|
|
|
|
id: prepare_tag
|
|
|
|
run: |
|
|
|
|
TAG_NAME="${GITHUB_REF##*/}"
|
|
|
|
echo "::set-output name=tag_name::${TAG_NAME}"
|
|
|
|
|
|
|
|
- name: Deploy
|
|
|
|
uses: peaceiris/actions-gh-pages@v3.7.0-8
|
|
|
|
with:
|
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
2020-08-13 19:46:31 +00:00
|
|
|
publish_dir: ./gh-pages-build/
|
2020-08-11 21:32:59 +00:00
|
|
|
destination_dir: ${{ steps.prepare_tag.outputs.tag_name }}
|
|
|
|
full_commit_message: 'Upload documentation for ${{ steps.prepare_tag.outputs.tag_name }}'
|
2020-09-16 19:43:44 +00:00
|
|
|
|
|
|
|
release:
|
|
|
|
needs: deploy
|
2020-09-16 20:11:31 +00:00
|
|
|
runs-on: ubuntu-latest
|
|
|
|
if: ${{ github.event_name == 'release' }}
|
2020-09-16 19:43:44 +00:00
|
|
|
steps:
|
|
|
|
- name: Create latest tag redirect
|
|
|
|
env:
|
|
|
|
TAG_NAME: ${{ needs.deploy.outputs.tag_name }}
|
|
|
|
run: |
|
|
|
|
mkdir public
|
|
|
|
echo "<meta http-equiv=refresh content=0;url='$TAG_NAME/'>" > public/index.html
|
|
|
|
|
|
|
|
- name: Deploy
|
|
|
|
uses: peaceiris/actions-gh-pages@v3.7.0-8
|
|
|
|
with:
|
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
publish_dir: ./public/
|
2020-09-16 21:25:43 +00:00
|
|
|
full_commit_message: 'Release ${{ needs.deploy.outputs.tag_name }}'
|
2020-09-16 19:43:44 +00:00
|
|
|
keep_files: true
|