test: skip CI on certora empty key or dependabot

Author: yan-man

.github/workflows/certora-basic.yml

@@ -17,6 +17,7 @@ on:
 jobs:
   verify:
     runs-on: ubuntu-latest
+    if: ${{ github.actor != 'dependabot[bot]' && secrets.CERTORAKEY != '' }}
     #    if:
     #      github.event.pull_request.head.repo.full_name == github.repository || (github.event_name == 'push' &&
     #      github.ref == format('refs/heads/{0}', github.event.repository.default_branch))

.github/workflows/certora-stata.yml

@@ -17,6 +17,7 @@ on:
 jobs:
   verify:
     runs-on: ubuntu-latest
+    if: ${{ github.actor != 'dependabot[bot]' && secrets.CERTORAKEY != '' }}
     #    if:
     #      github.event.pull_request.head.repo.full_name == github.repository || (github.event_name == 'push' &&
     #      github.ref == format('refs/heads/{0}', github.event.repository.default_branch))