ci: wip: Display message on PR. Missing CL.

Author: CohenArthur

.github/workflows/commit-format.yml

@@ -10,6 +10,8 @@ jobs:
   check_commit_changelogs:
     runs-on: ubuntu-latest
     name: check-changelogs
+    permissions:
+      pull-requests: write
 
     steps:
       - uses: actions/checkout@v3
@@ -22,11 +24,21 @@ jobs:
           sudo apt-get update;
           sudo apt-get install -y \
             python3 \
-            python3-git
-      
+            python3-git;
+          cargo install --git https://github.com/cohenarthur/gerris;
+
       - name: GCC check PR Commits
         run: |
-          python3 contrib/gcc-changelog/git_check_commit.py origin/${{ github.event.pull_request.base.ref }}..${{ github.event.pull_request.head.sha }}
+          python3 contrib/gcc-changelog/git_check_commit.py origin/${{ github.event.pull_request.base.ref }}..${{ github.event.pull_request.head.sha }} | tee results.log
+          gerris < results.log | tee gerris-results.log
+
+# rerun (remove)
+      - uses: mshick/add-pr-comment@v2
+        env:
+          GITHUB_TOKEN: ${{ secrets.GERRIS_TOKEN }}
+        with:
+          allow-repeats: true
+          message-path: gerris-results.log
 
   check_commit_prefixes:
     runs-on: ubuntu-latest