Checkout PR, not target

This commit is contained in:
Nicolas Grekas
2021-07-09 15:01:02 +02:00
parent fd38cfbb62
commit de32a6e069
+2
View File
@@ -18,6 +18,8 @@ jobs:
name: Checkout
uses: actions/checkout@v2
id: checkout
with:
ref: 'refs/pull/${{ github.event.number }}/merge'
-
name: Install tools