run translation even if linter failed (#2145)

if it can't fix anything, it currently just fails

instead, it should open the PR and we can fix manually

---------

Signed-off-by: Marc <m@pyc.ac>
This commit is contained in:
Marc
2026-01-27 00:02:19 +01:00
committed by GitHub
parent 227977ec19
commit ddb11c1f72
2 changed files with 2 additions and 0 deletions

View File

@@ -41,6 +41,7 @@ jobs:
php ./docs/translate.php "$MD_FILES"
- name: Run Linter
if: steps.md_files.outputs.found == 'true'
continue-on-error: true
uses: super-linter/super-linter/slim@v8
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

View File

@@ -1 +1,2 @@
/github/workspace/docs/mercure.md:jwt:88
/github/workspace/docs/mercure.md:jwt:90