add repository_dispatch event

This commit is contained in:
Ha Thach 2020-01-07 14:02:03 +07:00 committed by GitHub
parent 28c25a02aa
commit e43ec491d3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,6 +1,6 @@
name: Arduino Library CI
on: [pull_request, push]
on: [pull_request, push, repository_dispatch]
jobs:
build: