Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 425a0ef

Browse files
committedApr 27, 2016
Update pin packages in TravisCI configuration
1 parent 54a3a76 commit 425a0ef

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed
 

‎.travis.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ install: wget https://raw.githubusercontent.com/ocaml/ocaml-travisci-skeleton/ma
44
script: bash -ex .travis-ci.sh
55
env:
66
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"
88
matrix:
99
- UPDATE_GCC_BINUTILS=1 OCAML_VERSION=4.02 PACKAGE=mirage
1010
- UPDATE_GCC_BINUTILS=1 OCAML_VERSION=4.02 PACKAGE=mirage-types

0 commit comments

Comments
 (0)
Please sign in to comment.