ci: remove signing key when done

2023-06-16 09:28:51 -06:00 · 2023-06-16 09:28:51 -06:00 · 569bc7ba7c
commit 569bc7ba7c
parent 7dac7402d2
2 changed files with 8 additions and 1 deletions
--- a/bin/ci
+++ b/bin/ci
@ -99,4 +99,4 @@ else
 	fi
 fi

-finish
+finish_ci
--- a/common.sh
+++ b/common.sh
@ -105,11 +105,18 @@ start_ci() {
 	lock
 	agentHasKey "$(cat /run/secrets/ci_ed25519_pub | awk '{print $2}')" ||
 		ssh-add /run/secrets/ci_ed25519_key
+	agentHasKey "$(cat /run/secrets/ci_signing_ed25519_pub | awk '{print $2}')" ||
+		ssh-add /run/secrets/ci_signing_ed25519_key
 }

 finish() {
 	ssh-add -d /run/secrets/manager_key
+	exit 0
+}
+
+finish_ci() {
 	ssh-add -d /run/secrets/ci_ed25519_key
+	ssh-add -d /run/secrets/ci_signing_ed25519_key
 	exit 0
 }