Activate CI for PRs, too.

This commit is contained in:
Dimitri Sabadie 2020-03-16 16:54:43 +01:00
parent dfa1e6a745
commit a33dbf9fde
No known key found for this signature in database
GPG Key ID: 23CDFD7CAFBA2EDC

View File

@ -1,5 +1,5 @@
name: CI
on: [push]
on: [push, pull_request]
jobs:
build-linux: