Enable GitHub CI on pull requests

This commit is contained in:
Héctor Ramón Jiménez 2019-09-16 14:31:36 +02:00
parent 9b65481faf
commit bb5cac49d0

View file

@ -1,5 +1,5 @@
name: Integration name: Integration
on: [push] on: [push, pull_request]
jobs: jobs:
test: test:
runs-on: ${{ matrix.os }} runs-on: ${{ matrix.os }}