diff options
author | Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com> | 2020-06-16 01:48:46 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-16 01:48:46 -0700 |
commit | a12d1451d1413444319ccdc24bfacaae35012ce0 (patch) | |
tree | 32b7228fac486f7a5c8d1f0697889e335584c864 | |
parent | 95cd898582a66ec305fc698ef760ab47a0db802c (diff) | |
parent | 509963769e6e9d29e70dcc20118ea29f785b0a51 (diff) |
Merge pull request #356 from VincentRouvreau/update_dockerfiles
Fix #352
-rw-r--r-- | Dockerfile_for_circleci_image | 2 | ||||
-rw-r--r-- | Dockerfile_gudhi_installation | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image index c2e8a8f5..464097e7 100644 --- a/Dockerfile_for_circleci_image +++ b/Dockerfile_for_circleci_image @@ -1,4 +1,4 @@ -FROM ubuntu:19.04 +FROM ubuntu:20.04 # Update and upgrade distribution RUN apt-get update && \ diff --git a/Dockerfile_gudhi_installation b/Dockerfile_gudhi_installation index 461a8a19..996dd06b 100644 --- a/Dockerfile_gudhi_installation +++ b/Dockerfile_gudhi_installation @@ -1,4 +1,4 @@ -FROM ubuntu:19.04 +FROM ubuntu:20.04 # Update and upgrade distribution RUN apt-get update && \ |