Merge branch 'main' of https://github.com/dethrace-labs/dethrace into skidmark_matching

.github/workflows/workflow.yaml

@@ -7,7 +7,8 @@ on:
       - 'ci-*'
     tags:
       - 'v*'
-  pull_request:
+  pull_request_target:
+    types: [opened, synchronize, reopened]
 
 jobs:
 
@@ -157,7 +158,7 @@ jobs:
           echo "::warning file=reccmp-output.txt::Decomp correctness decreased"
         fi
     - name: Update report in reccmp-report
-      if: github.ref == 'refs/heads/main'
+      if: github.event_name == 'push' && github.ref == 'refs/heads/main'
       run: |
         cp new-reccmp-report.json reccmp-report/report.json
         cd reccmp-report