Only run CI on push or labeled PR

This commit is contained in:
Julian Raufelder 2021-11-26 14:38:23 +01:00
parent c3278b3c25
commit 5a1a3c2244
No known key found for this signature in database
GPG Key ID: 17EE71F6634E381D

View File

@ -1,7 +1,9 @@
name: Build
on:
[push, pull_request]
push:
pull_request_target:
types: [labeled]
jobs:
build: