Merge #421: dev: coverage: change to pull request target

d5d7979 dev: coverage: change to  pull request target (Cameron Garnham)

Pull request description:

ACKs for top commit:
  da2ce7:
    ACK d5d7979

Tree-SHA512: 608a81e546d7bd4429e8ed095df8516df358f03824e722c44061f9a99f33ef27ca424baa093969649e955ef2e71069e2976ef546f344804ba1be9d951fa1ef14

Author: da2ce7

.github/workflows/coverage.yaml

@@ -2,7 +2,11 @@ name: Coverage
 
 on:
   push:
-  pull_request:
+    branches:
+      - develop
+  pull_request_target:
+    branches:
+      - develop
 
 env:
   CARGO_TERM_COLOR: always
@@ -36,10 +40,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