Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Makefiles: require only the bootstrap compiler for BEST_OCAMLDEP (commit: a5b6fd1) (details)
  2. add a new Travis CI check that 'make alldepend' is a no-op (commit: cdccc0b) (details)
Commit a5b6fd198af4c3f52dd05d3f436abcbae4768446 by david.allsopp
Makefiles: require only the bootstrap compiler for BEST_OCAMLDEP
 (commit: a5b6fd1)
The file was modifiedMakefile.best_binaries (diff)
Commit cdccc0b1cbe5091bd75c44d8089e11b68e585036 by david.allsopp
add a new Travis CI check that 'make alldepend' is a no-op
 (commit: cdccc0b)
The file was modified.travis.yml (diff)
The file was modifiedtools/ci/travis/travis-ci.sh (diff)