From 5b3fb7197a4e0bc8a1ea8a17b75b53340e0d4681 Mon Sep 17 00:00:00 2001 From: Ionut Mihalcea Date: Mon, 27 Feb 2023 14:58:06 +0000 Subject: [PATCH] Add key checking using parsec-tool The existance of keys after the test is run is now checked via a Parsec tool call. Signed-off-by: Ionut Mihalcea --- ci/ci.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/ci/ci.sh b/ci/ci.sh index f687b29..80914d1 100755 --- a/ci/ci.sh +++ b/ci/ci.sh @@ -66,9 +66,8 @@ MBEDTLS_INCLUDE_DIR=$(pwd)/mbedtls/include cargo build --release make -C ci/c-tests run MBED_TLS_PATH=$(pwd)/mbedtls # Check that Parsec was called by checking if the service contains the key -# this is done by checking if the mappings folder is empty. -# Maybe use parsec-tool instead? -[ "$(ls -A /tmp/mappings)" ] +cargo install --locked parsec-tool +[ "$(RUST_LOG=error parsec-tool list-keys | wc -l)" -ne "0" ] # Kill Parsec for clean logs pkill parsec