diff options
author | 2020-10-27 00:08:25 +0000 | |
---|---|---|
committer | 2020-10-27 00:08:25 +0000 | |
commit | 8b1104279294bd182cd38ddbef3791d639d03297 (patch) | |
tree | 64eb7e2446524f96dea00b6b3b979d29c7dc989f | |
parent | a1afb64c0a55716ee729a1c99040e397ba7e998c (diff) | |
parent | 649fd20972a5c4bdddc6ba68c6b41ec76714c9ce (diff) | |
download | cortex-m-8b1104279294bd182cd38ddbef3791d639d03297.tar.gz cortex-m-8b1104279294bd182cd38ddbef3791d639d03297.tar.zst cortex-m-8b1104279294bd182cd38ddbef3791d639d03297.zip |
Merge #279
279: Fix Clippy git ref again r=adamgreig a=jonas-schievink
Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>
-rw-r--r-- | .github/workflows/clippy.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/clippy.yml b/.github/workflows/clippy.yml index a708f5b..d55d697 100644 --- a/.github/workflows/clippy.yml +++ b/.github/workflows/clippy.yml @@ -9,8 +9,11 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v2 + if: github.event_name == 'pull_request_target' with: - ref: ${{ github.head_ref || github.ref }} + ref: refs/pull/${{ github.event.number }}/head + - uses: actions/checkout@v2 + if: github.event_name != 'pull_request_target' - uses: actions-rs/toolchain@v1 with: profile: minimal |