update CI to also run on pull requests

This commit is contained in:
Alexandru Dima 2021-02-02 15:30:16 +01:00
parent 5294e3e929
commit 5a4476ee8c
No known key found for this signature in database
GPG key ID: 6E58D7B045760DA0

View file

@ -1,6 +1,6 @@
name: CI name: CI
on: push on: [push, pull_request]
jobs: jobs:
ci: ci: