ci: keep only PHP/JS lint in CI, move rest to local checks
Déploiement PROD / check (push) Successful in 3m25s
Déploiement PROD / deploy (push) Successful in 9s

This commit is contained in:
2026-07-25 22:33:01 +04:00
parent bc64981023
commit 050d583b6b
4 changed files with 11 additions and 41 deletions
-17
View File
@@ -37,23 +37,6 @@ jobs:
done
echo "JS lint OK"
- name: Installer Asciidoctor
run: sudo gem install asciidoctor
- name: Valider README.adoc
run: asciidoctor -o /tmp/readme.html README.adoc
- name: Valider JSON et XML
run: |
sudo apt-get update && sudo apt-get install -y libxml2-utils
python3 -m json.tool site.webmanifest.sample > /dev/null
xmllint --noout sitemap.xml.sample browserconfig.xml
- name: Shellcheck (scripts shell)
run: |
sudo apt-get install -y shellcheck
shellcheck docs/generate-readme-pdf.sh scripts/check.sh
deploy:
needs: check
runs-on: ubuntu-latest