ci: skip CI for internal PRs since "push" is triggered for them
@@ -7,6 +7,10 @@ jobs:
name: "${{ matrix.type }}"
runs-on: [ubuntu-20.04]
+ # We want to run on external PRs, but not on our own internal PRs as they'll be run
+ # by the push to the branch.
+ if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository
+
strategy:
fail-fast: false
matrix:
