Puisque nous en sommes à discuter de cela, pourquoi est-ce que make wrap ne ferait pas tout simplement powrap -m ? En tous cas, moi, j'ai trouvé le fait que cela ne fasse que vérifier totalement contre-intuitif. C'est sûrement utile pour la CI, mais la commande est déjà séparée.

+1 pour changer make wrap et lui faire rewrapper, ça veut dire qu'il faut changer make verifs pour lui faire juste executer powrap avec le --check quand même, on est 3 a trouver contre-intuitif le fait que make wrap utilise le --check.

Votre proposition me semble aussi plus intéressante que ma PR (qui sera alors complètement hors sujet).
Du coup, je la ferme ? Quelle est la bonne pratique sur le sujet ?

C'est comme vous voulez : soit vous vous sentez de changer cette PR pour faire ce qui a été résolu, et vous rajoutez simplement un autre commit dans la branche, soit vous préférez le laisser à quelqu'un d'autre (je peux m'en occuper sans problème) et dans ce cas vous pouvez fermer la PR.

Je ne maitrise pas le Makefile... Je ferme donc la PR