Temporarily start running on push so this actually runs, hopefully.

nhoad · nhoad · commit 23451b50b319 · 2022-09-05T14:53:54.000-04:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,6 @@
 name: Continuous Integration
 
-on: [pull_request]
+on: [pull_request, push]
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
