diff --git a/.github/workflows/formal-verifiation.yml b/.github/workflows/formal-verifiation.yml
index d28a102df..1d7e2ef14 100644
--- a/.github/workflows/formal-verifiation.yml
+++ b/.github/workflows/formal-verifiation.yml
@@ -17,7 +17,7 @@ jobs:
     steps:
       - uses: actions/checkout@v2
       - id: set-matrix
-        run: echo ::set-output name=matrix::$(ls certora/scripts/**/*.sh | jq -Rsc 'split("\n")[:-1]')
+        run: echo ::set-output name=matrix::$(ls certora/scripts/{,**}/*.sh | jq -Rsc 'split("\n")[:-1]')
 
   verify:
     runs-on: ubuntu-latest