Skip to content

Merge pull request #140 from intergral/fix_build #105

Merge pull request #140 from intergral/fix_build

Merge pull request #140 from intergral/fix_build #105

Workflow file for this run

name: Deploy Pages
on:
push:
branches: [ "master" ]
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
contents: read
pages: write
id-token: write
jobs:
mkdocs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v4
with:
python-version: 3.x
- run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
- uses: actions/cache@v3
with:
key: mkdocs-material-${{ env.cache_id }}
path: .cache
restore-keys: |
mkdocs-material-
- run: pip install mkdocs-material
- run: mkdocs build -d./_site
- name: Upload artifact
uses: actions/upload-artifact@v3
with:
name: Mk docs
path: _site
mergeBuilds:
runs-on: ubuntu-latest
needs:
- mkdocs
steps:
- name: Download Mkdocs artifact
uses: actions/download-artifact@v3
with:
name: Mk docs
path: _site
- name: Download mvn site from latest
uses: robinraju/[email protected]
with:
latest: true
fileName: Maven.Site
- name: Unpack
run: |
mkdir -p _site/mvn
tar -xvf Maven.Site --strip-components=2 -C _site/mvn
- name: Upload artifact
uses: actions/upload-pages-artifact@v1
deploy:
needs: mergeBuilds
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v2