help our poor CI; don't run CI on other branches for push (#20184)

This commit is contained in:
ringabout 2022-08-10 03:47:19 +08:00 • committed by GitHub
commit 5a502d7884
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,5 +1,9 @@
name: Packages CI name: Packages CI
on: [push, pull_request] on:
pull_request:
push:
branches:
devel
jobs: jobs:
build: build: