Artifact fix

esbmc · Aug 10, 2024 · dc4e791 · dc4e791
1 parent 486d494
commit dc4e791
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/action.yml b/action.yml
@@ -301,9 +301,9 @@ runs:
       with:
         name: esbmc_output
         path: |
-          *__${{ env.NOSPACE_GOTO_FILENAME }}
-          *__${{ env.NOSPACE_OUTPUT_FILENAME }}
-          *__${{ env.NOSPACE_WITNESS_FILENAME }}
+          **/*__${{ env.NOSPACE_GOTO_FILENAME }}
+          **/*__${{ env.NOSPACE_OUTPUT_FILENAME }}
+          **/*__${{ env.NOSPACE_WITNESS_FILENAME }}
         if-no-files-found: warn
         retention-days: ${{ inputs.artifact-retention-days }}
         compression-level: ${{ inputs.artifact-compression-level }}