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 /.circleci | |
| parent | 6166f9499fa8729d42955017a7ba53a245bc19c7 (diff) | |
| download | pandoc-a5094dda613cd0043f56fe39f24ee61d8b4bb92c.tar.gz | |
Circle CI: use fpco/stack-build:lts-13 as base image
Diffstat (limited to '.circleci')
| -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 |