Removes rewrite branch from CI.

Merging this branch into `main`, so there's no need for it to still exist in CI configuration.
dgp1130 · Jan 9, 2024 · 1c144ab · 1c144ab
1 parent c7b284d
commit 1c144ab
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -4,7 +4,6 @@ on:
   push:
     branches:
     - main
-    - rewrite
 
     # Run CI for the `ci` branch. This branch isn't special in any way, it just
     # does not enforce linear history, so edits to the CI workflow can be tested