diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-02-06 12:49:39 +0100 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-02-06 12:49:39 +0100 |
commit | 7833223f55ca261f4592efd7fbb1ae3002f40f3d (patch) | |
tree | 8bd36289b08ff9b6a9b0177b6384bdd9dd05ce27 | |
parent | dc44366683dd87d362c82fe2d93cee8d52dc3f28 (diff) |
Try to use a specific version of docker file
-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 4edb0e1b..a166a439 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -44,7 +44,7 @@ jobs: python: docker: - - image: gudhi/ci_for_gudhi:latest + - image: gudhi/ci_for_gudhi@sha256:9c90c7965f2288470fd5b374200f5b1bc23a9bd9939ece9f1bf864a6135fccb5 parallelism: 4 steps: - checkout |