commit 5c9f7782132408b37084d6d38c49b82f07ff2119
parent da312fe3ba41abde03639f6f2735e33d3efabf7b
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date: Tue, 20 May 2025 14:35:43 +0200
forgot coverage test script cmd
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/contrib/ci/jobs/002-test/job.sh b/contrib/ci/jobs/002-test/job.sh
@@ -7,3 +7,4 @@ job_dir=$(dirname "${BASH_SOURCE[0]}")
. "${job_dir}"/2-install.sh
. "${job_dir}"/3-startdb.sh
. "${job_dir}"/4-test.sh
+. "${job_dir}"/5-coverage.sh