diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 7b77e2379..d38e8a132 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -44,13 +44,11 @@ test: script: - cd build - export TDIR=./local_prefix/opt/hermit/x86_64-hermit/extra - - export FILES="$TDIR/tests/hello + - export FILES="$TDIR/tests/hello" - export PROXY=./local_prefix/opt/hermit/bin/proxy - for f in $FILES; do echo "check $f..."; HERMIT_ISLE=qemu HERMIT_CPUS=1 HERMIT_KVM=0 HERMIT_VERBOSE=1 timeout --kill-after=5m 5m $PROXY $f || exit 1; done image: ${IMAGE} tags: - docker - only: - - merge_requests dependencies: - build