workflow: run only on pull request if push

This commit is contained in:
Kamil Trzcinski 2025-07-02 20:36:34 +02:00 committed by Kamil Trzciński
parent e4a84207a4
commit f7b673cb94

View File

@ -10,6 +10,7 @@ on:
jobs: jobs:
build: build:
if: github.event_name != 'push' || github.event.pull_request == null
runs-on: ${{ matrix.arch.runner }} runs-on: ${{ matrix.arch.runner }}
strategy: strategy:
fail-fast: false fail-fast: false