ci: Checkout head ref instead of merge commit for coverage

… this *should* fix bogus coverage change reporting.
2022-08-04 18:33:20 +02:00
parent 054dfa98a0
commit 1fea48359d
1 changed files with 2 additions and 0 deletions
@@ -18,6 +18,8 @@ jobs:
    steps:
    - name: Checkout repository
      uses: actions/checkout@v3
+      with:
+        ref: ${{ github.event.pull_request.head.sha }}

    - name: Install Rust
      uses: actions-rs/toolchain@v1