Do not run CI on push

The steps are only necessary to check changes before merging.
Everyone always creates pull requests.
Therefore no need to run in push in addition to PR.
This commit is contained in:
Daniel Siepmann 2021-04-13 15:23:49 +02:00
parent c91f665d98
commit 5e5c019704

View file

@ -1,6 +1,5 @@
name: CI
on:
- push
- pull_request
jobs:
check-composer: