.github: start bob on push to main

Signed-off-by: Joachim Wiberg <troglobit@gmail.com>
This commit is contained in:
Joachim Wiberg
2023-06-20 11:11:52 +02:00
committed by Tobias Waldekranz
parent c4f16e788d
commit 09055f64ea
+1 -1
View File
@@ -10,7 +10,7 @@ on:
jobs:
build:
if: ${{ github.event.pull_request.merged }} || github.event_name == 'workflow_dispatch'
if: ${{github.ref == 'refs/heads/main' && github.event_name == 'push'}} || github.event_name == 'workflow_dispatch'
name: Build ${{ matrix.platform }} ${{ matrix.variant }}
runs-on: ubuntu-latest
strategy: