diff --git a/action.yml b/action.yml index 37f2b33..c853b17 100644 --- 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 }}