add repository_dispatch event

.github/workflows/githubci.yml

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