boldensele-numerique/.github/workflows/validation-rng.yml at d120b0aca27c49b7c54c57cb40ff16f1a3629d93 · halex02/boldensele-numerique · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
name: Validation RNG

on:
  push:
  pull_request:
  workflow_dispatch:

jobs:
  validate:
    runs-on: ubuntu-latest
    steps:
        - name : Récupérer le dépôt
          uses: actions/checkout@v5

        - name: Installer Java
          uses: actions/setup-java@v5
          with:
            distribution: 'temurin'
            java-version: '17'

        - name: Télécharger Jing
          run: |
            curl -L -o jing.zip https://github.com/relaxng/jing-trang/releases/download/V20220510/jing-20220510.zip
            unzip jing.zip

        - name: Vérifier jing
          run: |
            ls
            ls jing-20220510
            ls jing-20220510/bin

        - name: Vérifier l’arborescence
          run: |
            ls -R

        - name: Valider les fichiers XML valides
          run: |
            shopt -s nullglob
            files=(tei/glossaire/test/valides/*.xml)

            if [ ${#files[@]} -eq 0 ]; then
            echo "Aucun fichier XML trouvé dans tei/glossaire/test/valides/"
            exit 1
            fi

            FAIL=0

            for file in "${files[@]}"; do
              echo "================================"
              echo "Validation attendue (succès) : $file"

              if java -jar jing-20220510/bin/jing.jar schemas/glossaire-tei.rng "$file"; then
                echo "✅ Validation réussie pour $file"
              else
                echo "❌ Ce fichier valide a échoué : $file"
                FAIL=1
              fi
            done

            echo "================================"

            if [ $FAIL -ne 0 ]; then
              echo "Au moins un fichier valide a échoué."
              exit 1
            else
              echo "Tous les fichiers valides ont été validés avec succès."
            fi

        - name: Valider les fichiers XML invalides
          run: |
            shopt -s nullglob
            files=(tei/glossaire/test/invalides/*.xml)

            if [ ${#files[@]} -eq 0 ]; then
              echo "Aucun fichier XML trouvé dans tei/glossaire/test/invalides/"
              exit 1
            fi

            FAIL=0

            for file in "${files[@]}"; do
              echo "================================"
              echo "Validation attendue (échec) : $file"

              if java -jar jing-20220510/bin/jing.jar schemas/glossaire-tei.rng "$file"; then
                echo "❌ Ce fichier invalide est passé alors qu’il devrait échouer : $file"
                FAIL=1
              else
                echo "✅ Échec attendu pour $file"
              fi
            done

            echo "================================"

            if [ $FAIL -ne 0 ]; then
              echo "Au moins un fichier invalide est passé à tort."
              exit 1
            else
              echo "Tous les fichiers invalides ont bien échoué."
            fi

        - name: Notification Discord succès
          if: success()
          run: |
            curl -H "Content-Type: application/json" \
              -d '{"content":"✅ Validation RNG : success — ${{ github.repository }} — branche ${{ github.ref_name }}$"}' \
              "${{ secrets.DISCORD_WEBHOOK_URL }}"

        - name: Notification Discord échec
          if: failure()
          run: |
            curl -H "Content-Type: application/json" \
              -d '{"content":"❌ Validation RNG : failure — ${{ github.repository }} — branche ${{ github.ref_name }}$"}' \
              "${{ secrets.DISCORD_WEBHOOK_URL }}"