diff options
| author | stuebinm | 2021-11-21 20:09:15 +0100 |
|---|---|---|
| committer | stuebinm | 2021-11-21 20:09:15 +0100 |
| commit | 95323a5c7db4b620fc3eba7c67b15af512fed267 (patch) | |
| tree | 0a966f82ac5180dbfb802cb0fc1904db4f1ad4ab | |
| parent | ac44534ac1f55b8d36ddcdfce224955f49e50749 (diff) | |
pipeline: hopefully fix it?
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 81a7cc2..79b5e36 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -6,9 +6,9 @@ stages: build-job: stage: build script: - - stack build --install-ghc + - stack build - mkdir dist - - cp .stack-work/install/x86_64-linux-tinfo6/*/*/bin/walint dist + - stack install --local-bin-path dist - cp config.json dist artifacts: paths: |