Skip to content

Update index.html

Update index.html #13

name: Transformation du glossaire XML en TEI
on:
push:
pull_request:
workflow_dispatch:
jobs:
transform-and-validate:
runs-on: ubuntu-latest
steps:
- name : Récupérer le dépôt
uses: actions/checkout@v5
- name: Installer Python
uses: actions/setup-python@v5
with:
python-version: '3.12'
- name: Installer Java
uses: actions/setup-java@v5
with:
distribution: 'temurin'
java-version: '17'
- name: Installer Saxon-HE
run: |
python -m pip install saxon-he
pip install saxonche
- name: Installer Jing
run: |
sudo apt-get update
sudo apt-get install -y jing
- name: Transformation XSLT
run: python tools/transform_glossaire.py
- name: Validation du glossaire transformé
run: bash tools/validate_glossaire.sh
- name: Notification Discord succès
if: success()
run: |
curl -H "Content-Type: application/json" \
-d '{"content":"✅ Pipeline TEI OK\n📦 Repo: ${{ github.repository }}\n🌿 branche ${{ github.ref_name }}\n🔁 Commit : ${{ github.sha }}\"}' \
"${{ secrets.DISCORD_WEBHOOK_URL }}"
- name: Notification Discord échec
if: failure()
run: |
curl -H "Content-Type: application/json" \
-d "{\"content\":\"❌ Pipeline TEI ECHEC\n📦 Repo : ${{ github.repository }}\n🌿 Branche : ${{ github.ref_name }}\n🔁 Commit : ${{ github.sha }}\n👉 Voir logs : ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}\"}" \
"${{ secrets.DISCORD_WEBHOOK_URL }}"