build workflow: only on push

2026-05-30 17:18:00 +00:00 · 2021-05-20 20:17:33 +02:00
parent 021399970a
commit d882056a44
1 changed files with 1 additions and 0 deletions
@@ -5,6 +5,7 @@ jobs:
  Build:
    name: "Build on ${{ matrix.name }}"
    runs-on: ${{ matrix.os }}
+    if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository
    strategy:
      matrix:
        include: