Activate CI on pull requests.

This commit is contained in:
louib
2019-12-28 13:18:41 -05:00
parent cd0d9e028b
commit ff357298bd
2 changed files with 2 additions and 2 deletions

View File

@@ -1,6 +1,6 @@
name: CI_on_Ubuntu-latest
on: [push]
on: [push, pull_request]
jobs:
build:

View File

@@ -1,6 +1,6 @@
name: CI_on_ubuntu-16.04
on: [push]
on: [push, pull_request]
jobs:
build: