From a88a702aa6b940c44b407e4a75410b808f4a16e7 Mon Sep 17 00:00:00 2001 From: Ansgar Burchardt <ansgar.burchardt@tu-dresden.de> Date: Tue, 17 Jan 2017 16:10:09 +0000 Subject: [PATCH] Update .gitlab-ci.yml --- .gitlab-ci.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b4f0066..1015bd4 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -6,6 +6,6 @@ before_script: dune:git--gcc: image: duneci/dune:git script: - - env - - sleep 600 || : - - strace -e socket,connect duneci-standard-test --opts=/duneci/opts.clang + - env + - sleep 600 || : + - strace -e socket,connect duneci-standard-test --opts=/duneci/opts.clang -- GitLab