From c4fc1516a1d86b908ac5c0140c515cadf9e58acb Mon Sep 17 00:00:00 2001
From: Alexandre MERLIN <alexandre.merlin@inria.fr>
Date: Tue, 3 May 2022 10:45:46 +0200
Subject: [PATCH] [vagrant] fix env for ci

---
 vagrant-env/envs/debian9-x64-min.dsc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/vagrant-env/envs/debian9-x64-min.dsc b/vagrant-env/envs/debian9-x64-min.dsc
index 11567b62..37e375b5 100644
--- a/vagrant-env/envs/debian9-x64-min.dsc
+++ b/vagrant-env/envs/debian9-x64-min.dsc
@@ -8,9 +8,9 @@ visibility: public
 destructive: false
 os: linux
 image:
-  file: server:///vagrant/envs/debian9-x64-min-2020090209.tgz
+  file: server:///vagrant/envs/debian9-x64-min.tar.zst
   kind: tar
-  compression: gzip
+  compression: zstd
 postinstalls:
 - archive: server:///grid5000/postinstalls/g5k-postinstall.tgz
   compression: gzip
-- 
GitLab