diff options
author | Albert Krewinkel <albert@zeitkraut.de> | 2019-08-16 20:35:32 +0200 |
---|---|---|
committer | Albert Krewinkel <albert@zeitkraut.de> | 2019-08-16 20:52:15 +0200 |
commit | a5094dda613cd0043f56fe39f24ee61d8b4bb92c (patch) | |
tree | 28b6697c2d91992d5734ed13b1536228ba222225 | |
parent | 6166f9499fa8729d42955017a7ba53a245bc19c7 (diff) | |
download | pandoc-a5094dda613cd0043f56fe39f24ee61d8b4bb92c.tar.gz |
Circle CI: use fpco/stack-build:lts-13 as base image
-rw-r--r-- | .circleci/config.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 63fdeeb36..7697e5c2d 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -4,7 +4,7 @@ env: &env environment: LC_ALL: "C.UTF-8" docker: - - image: fpco/stack-build:lts + - image: fpco/stack-build:lts-13 #----------------------------------------------------------------------------- # Common utility stuff, not to be modified usually |