dev: coverage: change to pull request target

da2ce7 · Sep 12, 2023 · 1d083a4 · 1d083a4
1 parent 37fd055
commit 1d083a4
Showing 1 changed file with 13 additions and 3 deletions.
diff --git a/.github/workflows/coverage.yaml b/.github/workflows/coverage.yaml
@@ -2,7 +2,9 @@ name: Coverage
 
 on:
   push:
-  pull_request:
+  pull_request_target:
+    branches:
+      - develop
 
 env:
   CARGO_TERM_COLOR: always
@@ -36,10 +38,18 @@ jobs:
       RUSTDOCFLAGS: "-Z profile -C codegen-units=1 -C inline-threshold=0 -C link-dead-code -C overflow-checks=off -C panic=abort -Z panic_abort_tests"
 
     steps:
-      - id: checkout
-        name: Checkout Repository
+      - id: checkout_push
+        if: github.event_name  == 'push'
+        name: Checkout Repository (Push)
         uses: actions/checkout@v4
 
+      - id: checkout_pull_request
+        if: github.event_name  == 'pull_request'
+        name: Checkout Repository (Pull Request)
+        uses: actions/checkout@v4
+        with:
+          ref: "refs/pull/${{ github.event.pull_request.number }}/head"
+
       - id: setup
         name: Setup Toolchain
         uses: dtolnay/rust-toolchain@stable