diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b4f00666b5969509fe12cb1acb3538183c59e18a..1015bd4e5ed06ba23d2d4a9279b62ea0d9de17e9 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