chore: trigger ci on pr

This commit is contained in:
Juan Picado @jotadeveloper 2019-10-03 14:19:13 +02:00 committed by GitHub
parent f8e3013b59
commit 28c982a7da
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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