ci: run if pushed on master

pull/46/head
Aloïs Micard 4 years ago
parent cedffbf125
commit 23cc872054
No known key found for this signature in database
GPG Key ID: 1A0EB82F071F5EFE

@ -1,6 +1,9 @@
name: CI
on:
push:
branches:
- master
pull_request:
env:

Loading…
Cancel
Save