From 9dd0eb5e5cfdcccb085acfa669727ab2cc203cd7 Mon Sep 17 00:00:00 2001 From: Hadrien Croubois Date: Wed, 21 Sep 2022 17:21:26 +0200 Subject: [PATCH] better wildcard --- .github/workflows/formal-verifiation.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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