Mettre à jour les actions GitHub sur le runtime Node 24

[fwininger]

GitHub déprécie Node 20 sur les runners : chaque étape reposant sur une action node20 émet désormais un avertissement.

Bascule vers les majeures qui déclarent using: node24 :

• actions/checkout v4 -> v7
• actions/setup-python v5 -> v7
• actions/cache v4 -> v6
• robinraju/release-downloader v1.11 -> v1.13

Le changement cassant de checkout v5.1/v6.1/v7 ne concerne que pull_request_target et workflow_run (checkout d'une PR de fork bloqué par défaut) ; ces workflows n'utilisent que push, pull_request, schedule et workflow_dispatch. cache v5+ exige un runner >= 2.327.1, sans effet sur les runners ubuntu-latest hébergés.

Remplace aussi marvinpinto/action-automatic-releases, dépôt archivé resté en node12, par softprops/action-gh-release@v3 :

• repo_token -> token, automatic_release_tag -> tag_name, title -> name
• make_latest: true sur l'étape latest : marvinpinto recréait cette release à chaque exécution, ce qui la plaçait en tête de /releases/latest, endpoint interrogé par l'étape de téléchargement des fichiers précédents
• generate_release_notes: true sur la release datée, à la place du changelog automatique de l'ancienne action
• fail_on_unmatched_files: true pour ne pas publier une release vide si la génération n'a rien produit
• permissions: contents: write sur le job, la création du tag et de la release passant par l'API

Le tag git latest n'est en revanche plus déplacé : la release est retrouvée par son tag existant et ses assets, de noms identiques d'une semaine sur l'autre, sont écrasés.