diff options
author | Joris | 2019-06-23 21:42:45 +0200 |
---|---|---|
committer | Joris | 2019-06-23 21:42:45 +0200 |
commit | 9ec62069677c520161a5b2c15a3c33438e2ec252 (patch) | |
tree | 58fb6b4dfec0a71b009c99b605224b2408225bc6 /.gitlab-ci.yml | |
parent | ca31e0ee11d05b3250aa35db5baa0b155939bbbd (diff) |
Add recipe and deploy to own server
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 |