This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Commit 425a0ef
1 parent 54a3a76 commit 425a0ef Copy full SHA for 425a0ef
File tree 1 file changed +1
-1
lines changed
1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -4,7 +4,7 @@ install: wget https://raw.githubusercontent.com/ocaml/ocaml-travisci-skeleton/ma
4
4
script : bash -ex .travis-ci.sh
5
5
env :
6
6
global :
7
- - PINS="functoria mirage-skeleton.dev:https://github.com/yomimono/mirage-skeleton.git#charrua-0.3 tcpip :https://github.com/mirage/mirage-tcpip .git mirage-types :https://github.com/mirage/mirage.git mirage:https://github.com/mirage /mirage.git"
7
+ - PINS="functoria mirage-skeleton.dev:https://github.com/yomimono/mirage-skeleton.git#dev mirage-types :https://github.com/mirage/mirage.git mirage:https://github.com/mirage/mirage.git mirage-logs :https://github.com/sammoht /mirage-logs .git"
8
8
matrix :
9
9
- UPDATE_GCC_BINUTILS=1 OCAML_VERSION=4.02 PACKAGE=mirage
10
10
- UPDATE_GCC_BINUTILS=1 OCAML_VERSION=4.02 PACKAGE=mirage-types
You can’t perform that action at this time.
0 commit comments