Update CI.yml

TuringLang · Oct 25, 2023 · 568a68b · 568a68b
1 parent d25fd1d
commit 568a68b
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -3,12 +3,8 @@ name: CI
 on:
   push:
     branches:
-      # This is where pull requests from "bors r+" are built.
-      - staging
-      # This is where pull requests from "bors try" are built.
-      - trying
-      # Build the main branch.
-      - main
+      - master
+  pull_request:
 
 jobs:
   test: