.github: run pipeline on pull requests

Also run the pipeline on pull requests, so nothing utterly broken
can easily slip in.

Signed-off-by: Enrico Weigelt, metux IT consult <info@metux.net>
This commit is contained in:
Enrico Weigelt, metux IT consult 2025-06-17 20:25:09 +02:00 committed by Enrico Weigelt
parent 36a24ef23c
commit 49f5056b45

View File

@ -7,6 +7,7 @@ env:
on:
push:
pull_request:
jobs:
xserver-build-ubuntu: