diff options
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml deleted file mode 100644 index 2016415..0000000 --- a/.gitlab-ci.yml +++ /dev/null @@ -1,37 +0,0 @@ -image: haskell:latest - -variables: - STACK_ROOT: "${CI_PROJECT_DIR}/.stack" - STACK_OPTS: "--system-ghc" - -cache: - paths: - - .stack - - .stack-work - - target - - output - - node_modules - - yarn.lock - - .psc-package - -pages: - script: - - apt-get update - - apt-get install -y curl - - curl -sL https://deb.nodesource.com/setup_8.x | bash - - apt-get install -y xz-utils make nodejs - - npm install psc-package - - npm install purescript - - npm install pulp - - export PATH="$(pwd)/node_modules/.bin":$PATH - - psc-package install - - make test - - export STACK_ROOT="$(pwd)/.stack" - - stack setup - - stack build - - stack exec cooking build - artifacts: - paths: - - public - only: - - master |