update CI to also run on push

This commit is contained in:
Alexandru Dima 2021-02-02 15:29:22 +01:00
parent 82635e7161
commit e8b0174a8e
No known key found for this signature in database
GPG key ID: 6E58D7B045760DA0

View file

@ -1,5 +1,5 @@
name: 'CI'
on: [pull_request]
on: [push, pull_request]
jobs:
build:
name: 'Builds and Compiles'