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 | |
| parent | dde088c35ba560f31757812a5c880a565c0ce399 (diff) | |
| download | navit-e03434e5a14607d3ef0cfd97b1869907164a01f4.tar.gz | |
Use debian:latest in the CI to get more up-to-date tools (#971)
| -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: |