Merge branch 'master' of https://github.com/DouglasLee001/smt-comp.github.io

Author: DouglasLee001

.github/workflows/comment.yml

@@ -22,7 +22,7 @@ jobs:
 
       - name: Compute changed files
         id: changed-files
-        uses: tj-actions/changed-files@v41
+        uses: tj-actions/changed-files@v46
         with:
           files: |
             submissions/*.json

.github/workflows/test-solver.yml

@@ -22,7 +22,7 @@ jobs:
 
       - name: Compute changed files
         id: changed-files
-        uses: tj-actions/changed-files@v41
+        uses: tj-actions/changed-files@v46
         with:
           files: |
             submissions/*.json