From df44ea131039d7b74df394ece598f3f693d65a40 Mon Sep 17 00:00:00 2001
From: Michael Sun <michaelsun97@gmail.com>
Date: Mon, 24 Jun 2024 10:30:53 -0400
Subject: [PATCH] chore: gh action branches

---
 .github/workflows/certora-prover-conf.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/certora-prover-conf.yml b/.github/workflows/certora-prover-conf.yml
index 145945827..9210685b4 100644
--- 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: {}