chore: gh action branches

Layr-Labs · Jun 24, 2024 · df44ea1 · df44ea1
1 parent af2d8f5
commit df44ea1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/certora-prover-conf.yml b/.github/workflows/certora-prover-conf.yml
@@ -4,7 +4,9 @@ on:
   push:
     branches:
       - dev
-      - payments-spec
+      - testnet-holesky
+      - mainnet
+      - rewards-spec
   pull_request: {}
   workflow_dispatch: {}