diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2017-06-12 04:03:41 +0200 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2017-06-12 04:03:41 +0200 |
commit | b7c26e2a576bb50da4181d30ed682de3f2624fc5 (patch) | |
tree | 329df1f6f42e3bc1ef31b46f0ff4e695f07347be | |
parent | 67d69effb49096a4f649e7a0c1a09b61c409f004 (diff) |
gitlab-ci: Remove use of sandbox for old cabal
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5ac7da4..cfd744e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -9,8 +9,6 @@ before_script: - mkdir -p ../cabal-helper.sdist - ls -l .. - cabal sdist --output-directory=../cabal-helper.sdist - - rm -f cabal.sandbox.config && cabal sandbox init - - cp cabal.sandbox.config ../cabal-helper.sdist - cd ../cabal-helper.sdist after_script: |