Fix Github actions not running

xg-wang · xg-wang · commit 69bbcfd2fa24 · 2021-08-05T23:07:06.000-07:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,7 +1,7 @@
 name: CI
 
 on:
-  pull_request:
+  pull_request: {}
   push:
     # Filtering branches here prevents duplicate builds from pull_request and push
     branches:
