add a way to run CI on external PRs using a label

finegrain-ai · Dec 14, 2023 · f7f4167 · f7f4167
1 parent 3ff7719
commit f7f4167
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,9 +1,13 @@
 name: CI
 
-on: push
+on:
+  push:
+  pull_request_target:
+    types: [labeled]
 
 jobs:
   lint_and_typecheck:
+    if: ${{ github.event.name == 'push' || github.event.label.name == 'run-ci' }}
     runs-on: ubuntu-latest
 
     steps: