build: change trigger to ensure availability of environment vars

Planeshifter · Planeshifter · commit 3009d906518f · 2023-12-10T16:16:31.000-05:00
This PR changes the `pull_request` trigger of the workflow to
`pull_request_target` to ensure that the environment variables
are available in the workflow when run from forks. The permissions of
the workflow are limited and we do not run workflows for untrusted pull
requests, mitigating the security risk of this change.
diff --git a/.github/workflows/run_tests_coverage.yml b/.github/workflows/run_tests_coverage.yml
@@ -43,7 +43,7 @@ on:
       # List paths for which changes should *not* trigger this workflow:
       - '!lib/**/_tools/**'
 
-  pull_request:
+  pull_request_target:
     types:
       - opened
       - synchronize
