Skip to content

Add available options to their corresponding Wiki page #30

Add available options to their corresponding Wiki page

Add available options to their corresponding Wiki page #30

name: Publish checks to wiki
on:
pull_request:
push:
branches: [develop]
paths:
- .github/workflows/publish-checks-wiki.yml
- .github/scripts/checks-pages.sh
- .github/scripts/checks-options.py
- magik-checks/src/main/resources/nl/ramsolutions/sw/sonar/l10n/magik/rules/*.html
- magik-checks/src/main/java/nl/ramsolutions/sw/magik/checks/checks/*Check.java
concurrency:
group: publish-checks-wiki
cancel-in-progress: true
permissions:
contents: write
jobs:
publish-wiki:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- run: |
python3 -m pip install --upgrade pip
python3 -m pip install html2text==2024.2.26
mkdir -p wiki/checks
.github/scripts/checks-pages.sh
python3 .github/scripts/checks-options.py
- uses: Andrew-Chen-Wang/github-wiki-action@86138cbd6328b21d759e89ab6e6dd6a139b22270
with:
path: wiki
#dry-run: true
if: ${{ github.repository_owner == 'sebastiaanspeck' }}