From 85b7114ca11358112c5ef07dbccf472c799a859f Mon Sep 17 00:00:00 2001 From: Baruta Daniel Mihail <baruta.mihai@yahoo.com> Date: Tue, 12 Jul 2022 10:00:53 +0300 Subject: [PATCH] Add cleanup sequece --- checker/checker.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/checker/checker.sh b/checker/checker.sh index 95d644b..0dc92c5 100755 --- a/checker/checker.sh +++ b/checker/checker.sh @@ -2,6 +2,9 @@ cd "$(dirname "$0")" || exit 1 +# Mark for Moodle trace cleanup +[ -n "$CI" ] && echo "VMCHECKER_TRACE_CLEANUP\n" + EXECUTABLE="../src/perfect" TIMEOUT_DURATION=10 -- GitLab