Ignore failures when trying to kill the SSH agent

Fixes #32.
2020-06-23 07:22:02 +00:00 · 2020-06-23 07:22:02 +00:00 · daf7f68bfc
commit daf7f68bfc
parent 8789658b02
6 changed files with 260 additions and 105 deletions
--- a/cleanup.js
+++ b/cleanup.js
@ -6,5 +6,6 @@ try {
    console.log('Stopping SSH agent')
    execSync('kill ${SSH_AGENT_PID}', { stdio: 'inherit' })
 } catch (error) {
-    core.setFailed(error.message)
+    console.log(error.message);
+    console.log('Error stopping the SSH agent, proceeding anyway');
 }