diff --git a/scripts/ci/run-ci-tests.sh b/scripts/ci/run-ci-tests.sh index 9b07fd966..1a51d6aeb 100755 --- a/scripts/ci/run-ci-tests.sh +++ b/scripts/ci/run-ci-tests.sh @@ -279,3 +279,6 @@ make -C test/others/libcriu run # external namespace testing make -C test/others/ns_ext run + +# compel testing +make -C compel/test