From d4b721292bd4258d7394f36734f837c4a579fb02 Mon Sep 17 00:00:00 2001 From: Aaron Bieber Date: Thu, 2 Feb 2023 14:49:47 -0700 Subject: [PATCH] ci: clear out debug, remove keys when finished --- ci | 3 +-- common.sh | 1 + 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ci b/ci index 5a941bf..6f1dea6 100755 --- a/ci +++ b/ci @@ -4,8 +4,6 @@ CMD=${1:-""} -set -x - start_ci trap ci_error INT TERM @@ -35,3 +33,4 @@ else nix flake check || handle_check_fail fi +finish diff --git a/common.sh b/common.sh index a6fc110..a94c05c 100644 --- a/common.sh +++ b/common.sh @@ -79,6 +79,7 @@ start_ci() { finish() { ssh-add -d /run/secrets/manager_key + ssh-add -d /run/secrets/ci_ed25519_key exit 0 }