Update certora-prover.yml

Layr-Labs · Apr 18, 2024 · e8d9c35 · e8d9c35
1 parent 78b604b
commit e8d9c35
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/certora-prover.yml b/.github/workflows/certora-prover.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - dev
-      - update-certora-rules
+      - updated-certora-rules
   pull_request: {}
   workflow_dispatch: {}