build: hack to allow CI to be kicked off by label

bcoe · bcoe · commit 32b9ef066ab0 · 2020-10-14T13:00:48.000-07:00
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -3,6 +3,7 @@ on:
     branches:
       - master
   pull_request:
+    types: [ assigned, opened, synchronize, reopened, labeled ]
 name: ci
 jobs:
   test:
