travis: use mirage-skeleton master

mirage · Sep 23, 2018 · 16c1bc5 · 16c1bc5
1 parent 2472118
commit 16c1bc5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis-ci.sh b/.travis-ci.sh
@@ -1,5 +1,5 @@
 eval `opam config env`
 opam depext -uiy mirage
 cd ~
-git clone -b solo5.0.4.0-renaming https://github.com/mato/mirage-skeleton.git
+git clone -b master https://github.com/mirage/mirage-skeleton.git
 make -C mirage-skeleton && rm -rf mirage-skeleton