Added script to workflow

jhoenicke · jhoenicke · commit c0df5f7beaab · 2023-08-17T12:35:07.000+02:00
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -48,3 +48,4 @@ jobs:
           - verifyBlueExitLiquidity.sh
           - verifyBlueTransfer.sh
           - verifyReentrancy.sh
+          - verifyDifficultMath.sh
