add badges to README

publish reports to gh-pages
This commit is contained in:
smilerz
2023-12-28 18:00:55 -06:00
parent b2c5e3d5e7
commit 7e6f3ad92b
4 changed files with 18 additions and 14 deletions

View File

@@ -1,12 +1,15 @@
name: Make Docs
on:
push:
branches:
- master
# the 1st condition
workflow_run:
workflows: ["Continuous Integration"]
branches: [working]
types:
- completed
jobs:
deploy:
if: github.repository_owner == 'TandoorRecipes'
if: github.repository_owner == 'smilerz' && ${{ github.event.workflow_run.conclusion == 'success' }}
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
@@ -14,4 +17,4 @@ jobs:
with:
python-version: 3.x
- run: pip install mkdocs-material mkdocs-include-markdown-plugin
- run: mkdocs gh-deploy --force
- run: mkdocs gh-deploy --force