From dc4e7910bd645b1fa05e1b8df62c4190ea64fb0e Mon Sep 17 00:00:00 2001
From: n59321jh <joshua.hines@student.manchester.ac.uk>
Date: Sat, 10 Aug 2024 10:01:39 +0100
Subject: [PATCH] Artifact fix

---
 action.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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 }}