Refine CI

This commit is contained in:
Paul Merlin 2020-06-13 12:48:35 +02:00
parent 2f66fb5679
commit ab09ae8fad

View file

@ -1,10 +1,7 @@
name: ci
on: # rebuild any PRs and main branch changes
on:
pull_request:
push:
branches:
- master
- 'releases/*'
jobs:
build: # make sure build/ci work properly