Add error message if unpacking of artifact zip fails.

leanprover-community · Feb 25, 2025 · 805549a · 805549a
1 parent 4232889
commit 805549a
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/relay/import.mjs b/relay/import.mjs
@@ -31,7 +31,16 @@ async function runProcess(id, cmd, args, cwd) {
     });
 
     ls.stderr.on('data', (data) => {
-      progress[id].output += data.toString()
+      try {
+        if (args[0].includes("unpack.sh")){
+          throw new Error(".zip file of artifact could not be fetched. Make sure it exists and is not expired. \n")
+        } else {
+          progress[id].output += data.toString()
+        }
+      } catch(e){
+        progress[id].output += `Error: ${e.toString()}\n${e.stack}`
+      }
+
     });
 
     ls.on('close', (code) => {