only run CI on pushes.

2020-09-08 22:41:44 -07:00
parent 834dcdc223
commit e43048feae
1 changed files with 1 additions and 1 deletions
@@ -1,6 +1,6 @@
 name: CI
 # This workflow is triggered on pushes to the repository.
-on: [push, pull_request]
+on: [push]

 jobs:
  build: