[CI] checkout fork in specific directory

Author: bobot

.github/workflows/comment.yml

@@ -27,9 +27,15 @@ jobs:
           files: |
             submissions/*.json
 
+      - uses: actions/checkout@v3
+        with:
+          ref: ${{github.event.pull_request.head.ref}}
+          repository: ${{github.event.pull_request.head.repo.full_name}}
+          path: "fork"
+
       - name: Show changed files
         run: |
-          poetry run smtcomp show --into-comment-file comment.md ${{ steps.changed-files.outputs.all_changed_files }}
+          poetry run smtcomp show --into-comment-file comment.md --prefix fork/ ${{ steps.changed-files.outputs.all_changed_files }}
 
       - name: PR comment with file
         uses: thollander/actions-comment-pull-request@v2

smtcomp/main.py

@@ -34,12 +34,16 @@
 @app.command()
 def show(
     files: list[Path] = typer.Argument(None),
+    prefix: Optional[Path] = None,
     into_comment_file: Annotated[Optional[Path], typer.Option(help="Write the summary into the given file")] = None,
 ) -> None:
     """
     Show information about a solver submission
     """
 
+    if prefix is not None:
+        files = list(map(prefix.joinpath, files))
+
     def read_submission(file: Path) -> defs.Submission:
         try:
             return submission.read(str(file))