#3: migrating code to be compatible with WRENCH 1.5

wrench-project · Mar 5, 2020 · dd132a0 · dd132a0
1 parent d9c2935
commit dd132a0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -8,7 +8,7 @@ addons:
       - docker-ce
 
 env:
-  - DIST=unstable
+  - DIST=1.5
 
 services:
   - docker