Skip to content

Add workflow and page for MemoryUsageDevice (#51) #8

Add workflow and page for MemoryUsageDevice (#51)

Add workflow and page for MemoryUsageDevice (#51) #8

Workflow file for this run

name: Deploy Documentation
on:
push:
branches:
- main
jobs:
deploy:
runs-on: ubuntu-22.04
environment: Production
steps:
- name: Download html artifact
run: |
repo="${{ github.repository }}"
workflow="build_and_test.yml"
artifact="html"
run_id=`gh run --repo ${repo} list --workflow ${workflow} --json databaseId --jq .[0].databaseId`
mkdir html
cd html
gh run --repo ${repo} download ${run_id} -n ${artifact}
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- name: Commit documentation changes
run: |
git clone https://github.com/${{ github.repository }}.git --branch gh-pages --single-branch gh-pages
cd gh-pages
rm -rf *
cp -r ../html/* .
git config --local user.email "[email protected]"
git config --local user.name "GitHub Action"
git add .
git commit -m "Update documentation" -a || true
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- name: Push changes
uses: ad-m/github-push-action@master
with:
branch: gh-pages
directory: gh-pages
github_token: ${{ secrets.GITHUB_TOKEN }}