Use push instead of pull

This commit is contained in:
ludeeus
2019-10-21 10:27:50 +02:00
parent 3b439b8a8f
commit a4d99d952a
@@ -1,10 +1,8 @@
name: Pull request
on:
pull_request:
types: [labeled, opened, synchronize, reopened, closed]
name: Push
on: push
jobs:
pull_request:
push:
name: Actions
runs-on: ubuntu-latest
steps: