-
-
Notifications
You must be signed in to change notification settings - Fork 83
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #735 from soot-oss/doc_keep_install_up2date
update version in doc:installation automatically
- Loading branch information
Showing
5 changed files
with
127 additions
and
22 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,26 +1,97 @@ | ||
name: Documentation | ||
# see https://squidfunk.github.io/mkdocs-material/setup/setting-up-versioning/ | ||
# execute once, after the first deployment has 'latest' as alias: | ||
# mike set-default latest --push | ||
|
||
name: Documentation | ||
|
||
on: | ||
push: | ||
branches: | ||
branches: | ||
- develop | ||
# only trigger workflow if one of these paths are affected as well | ||
paths: | ||
- 'mkdocs.yml' | ||
- 'sootup.examples/**' | ||
- 'docs/**' | ||
|
||
release: | ||
types: [ created, published ] | ||
|
||
pull_request: | ||
types: | ||
- opened | ||
- reopened | ||
- synchronize | ||
- closed | ||
paths: | ||
- 'mkdocs.yml' | ||
- 'sootup.examples/**' | ||
- 'docs/**' | ||
|
||
concurrency: pages | ||
|
||
permissions: | ||
contents: write | ||
pull-requests: write | ||
|
||
jobs: | ||
deploy: | ||
manage: | ||
runs-on: ubuntu-latest | ||
steps: | ||
- uses: actions/checkout@v2 | ||
# to get tag information | ||
- run: git fetch --prune --unshallow | ||
|
||
- uses: actions/setup-python@v2 | ||
with: | ||
python-version: 3.x | ||
|
||
# install dependencies | ||
- run: pip install mike | ||
- run: pip install mkdocs-material | ||
- run: pip install mkdocs-tooltips | ||
- run: pip install git+https://github.com/RedisLabs/mkdocs-include.git | ||
- run: pip install git+https://github.com/swissiety/LspLexer4Pygments.git | ||
# grab latest release url of the JimpleLSP jar and download it | ||
- run: curl -s -L -o ./jimplelsp.jar $(curl -s https://api.github.com/repos/swissiety/jimpleLsp/releases/latest | grep 'browser_download_url".*jar"' | cut -d ':' -f 2,3 | tr -d \") | ||
- run: mkdocs gh-deploy --force | ||
|
||
- name: replace "{{ git_latest_release }}" with latest release tag version in .md files | ||
run: sed -i 's\{{ git_latest_release }}\'$(git tag --sort=committerdate | grep -E '[0-9]' | tail -1 | cut -b 2-7)'\g' docs/**.md | ||
|
||
- run: git fetch origin gh-pages --depth=1 | ||
- name: Configure git user | ||
run: | | ||
git config --local user.email "github-actions[bot]@users.noreply.github.com" | ||
git config --local user.name "github-actions[bot]" | ||
# on push to develop branch - keep a doc around for develop to show the current state | ||
- name: deploy doc in subdirectory | ||
if: github.event_name == 'push' | ||
run: mike deploy develop | ||
|
||
# on PR events.. | ||
- name: deploy doc in subdirectory | ||
if: github.event_name == 'pull_request' | ||
run: mike deploy ${{ github.head_ref }}_preview --push | ||
# TODO: set to true when the release is capable of the documentation ;) && mike props ${{ github.head_ref }}_preview --set-string hidden=true --push | ||
|
||
- name: comment link to preview | ||
if: github.event_name == 'pull_request' && github.event.action != 'closed' | ||
uses: marocchino/sticky-pull-request-comment@v2 | ||
with: | ||
message: | | ||
You updated the documentation - [Doc Preview](https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}_preview/${{ github.head_ref }}/). | ||
# on PR close - delete preview | ||
- name: delete the deployed preview | ||
if: github.event_name == 'pull_request' && github.event.action == 'closed' | ||
run: mike delete ${{ github.head_ref }}_preview --push | ||
|
||
|
||
# on release events.. | ||
- name: deploy doc in subdirectory | ||
if: github.event_name == 'release' | ||
run: mike deploy ${{ github.ref_name }} --push | ||
|
||
- name: set the new release doc as default (release published) | ||
if: github.event_name == 'release' && github.event.action == 'published' | ||
run: mike deploy --push --update-aliases ${{ github.ref_name }} latest |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,31 @@ | ||
name: Create Release Draft | ||
|
||
on: | ||
push: | ||
tags: | ||
# Push events to matching | ||
- ^v(0|[1-9][0-9]*)\.(0|[1-9][0-9]*)\.(0|[1-9][0-9]*)$ | ||
|
||
jobs: | ||
build: | ||
name: Create Release Draft | ||
runs-on: ubuntu-latest | ||
steps: | ||
- name: Checkout code | ||
uses: actions/checkout@master | ||
- name: Create Release | ||
id: create_release | ||
uses: actions/create-release@latest | ||
env: | ||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | ||
with: | ||
tag_name: ${{ github.ref }} | ||
release_name: ${{ github.ref }} | ||
body: | | ||
**TODO:** update changes in this Release | ||
- First Change | ||
- Second Change | ||
- ... | ||
[Documentation](https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}/${{ github.ref }}/ | ||
draft: true | ||
prerelease: false |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters