diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-01-25 09:43:09 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-01-25 09:43:09 -0800 |
| commit | f28d39efaef7f5d0066a217ac8b320080ca1f032 (patch) | |
| tree | b8b8cd09ce28478538867087dee7499d7af7d7fa /.circleci | |
| parent | ecccb69ec70b5453936cee106940dbec66daaae0 (diff) | |
| download | pandoc-f28d39efaef7f5d0066a217ac8b320080ca1f032.tar.gz | |
circleci - use .gz for build artifact.
Diffstat (limited to '.circleci')
| -rw-r--r-- | .circleci/config.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 02648a63d..f7276166d 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -111,10 +111,10 @@ jobs: stack update stack test --system-ghc --ghc-options="${GHC_OPTS} -Werror" . stack install --system-ghc --ghc-options="${GHC_OPTS}" --local-bin-path /tmp/artifacts + gzip /tmp/artifacts/pandoc - *save - store_artifacts: - path: /tmp/artifacts/pandoc - destination: pandoc-${CIRCLE_SHA1} + path: /tmp/artifacts/pandoc.gz workflows: version: "2.1" |