diff options
author | Joseph Herlant <aerostitch@google.com> | 2020-01-20 11:59:33 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-20 11:59:33 -0800 |
commit | e03434e5a14607d3ef0cfd97b1869907164a01f4 (patch) | |
tree | dbb3cca5c20d77fff35d01b0077371cbfe8c6b36 /.circleci/config.yml | |
parent | dde088c35ba560f31757812a5c880a565c0ce399 (diff) | |
download | navit-e03434e5a14607d3ef0cfd97b1869907164a01f4.tar.gz |
Use debian:latest in the CI to get more up-to-date tools (#971)
Diffstat (limited to '.circleci/config.yml')
-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 d3a279229..2b7263a34 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -1,7 +1,7 @@ version: 2 defaults: &defaults docker: - - image: ubuntu:18.04 + - image: debian:latest jobs: sanity_check: docker: |