Update the CI to work on push and PRs

This commit is contained in:
Clément Renault 2020-11-03 18:25:12 +01:00
parent 58c07e7f8c
commit 3ef031b2fe
No known key found for this signature in database
GPG Key ID: 92ADA4E935E71FA4

View File

@ -1,10 +1,10 @@
name: Continuous integration
on: on:
push: push:
branches: branches: [ master ]
- staging pull_request:
- trying branches: [ master ]
name: Continuous integration
jobs: jobs:
ci: ci: