[CI] Separate COMMENT from main

Author: bobot

.github/workflows/comment.yml

@@ -0,0 +1,38 @@
+name: Comment
+
+on:
+  pull_request_target:
+    paths:
+      - submissions/*.json
+
+jobs:
+  comment:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out
+        uses: actions/checkout@v3
+
+      - uses: actions/cache@v3
+        with:
+          path: ~/.cache/pre-commit
+          key: pre-commit-${{ hashFiles('.pre-commit-config.yaml') }}
+
+      - name: Set up the environment
+        uses: ./.github/actions/setup-poetry-env
+
+      - name: Compute changed files
+        id: changed-files
+        uses: tj-actions/changed-files@v41
+        with:
+          files: |
+            submissions/*.json
+
+      - name: Show changed files
+        run: |
+          poetry run smtcomp show --into-comment-file comment.md ${{ steps.changed-files.outputs.all_changed_files }}
+
+      - name: PR comment with file
+        uses: thollander/actions-comment-pull-request@v2
+        with:
+          filePath: comment.md
+          comment_tag: summary

.github/workflows/main.yml

@@ -4,8 +4,7 @@ on:
   push:
     branches:
       - main
-  pull_request_target:
-    types: [opened, synchronize, reopened]
+  pull_request:
 
 jobs:
   quality:
@@ -22,23 +21,6 @@ jobs:
       - name: Set up the environment
         uses: ./.github/actions/setup-poetry-env
 
-      - name: Compute changed files
-        id: changed-files
-        uses: tj-actions/changed-files@v41
-        with:
-          files: |
-            submissions/*.json
-
-      - name: Show changed files
-        run: |
-          poetry run smtcomp show --into-comment-file comment.md ${{ steps.changed-files.outputs.all_changed_files }}
-
-      - name: PR comment with file
-        uses: thollander/actions-comment-pull-request@v2
-        with:
-          filePath: comment.md
-          comment_tag: summary
-
       - name: Run checks
         run: make check
 

smtcomp/main.py

@@ -65,10 +65,8 @@ def read_submission(file: Path) -> defs.Submission:
         console.print("</details>")
 
     if into_comment_file is not None:
-        if len(l) > 0:
-            into_comment_file.write_text(console.export_text())
-        else:
-            into_comment_file.write_text("")
+        into_comment_file.write_text(console.export_text())
+
 
 @app.command()
 def validate(file: str) -> None: