chore: Run CI after merges to provernet (#8244)

spalladino · web-flow · commit 97e5e253e746 · 2024-08-28T11:49:55.000-03:00
Given provernet is diverging from master, it'd be nice to have the CI
catch any bad cherry picks.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,7 +1,7 @@
 name: CI
 on:
   push:
-    branches: [master]
+    branches: [master, provernet]
   pull_request:
     branches-ignore: [devnet]
   workflow_dispatch:
