antlr/.travis
Eric Vergnaud c15aa4336a dotent also times out 2017-06-28 22:18:19 +08:00
..
before-install-linux-cpp.sh remove unnecessary calls 2017-02-19 11:38:02 +08:00
before-install-linux-csharp.sh remove unnecessary calls 2017-02-19 11:38:02 +08:00
before-install-linux-dotnet.sh [dotnet] for linux target, bring up to jdk8 since jdk7 no longer available for Trusty; for linux and osx targets, bring up dotnet from 1.0.3 to 1.0.4; Trusty image now has mvn 3.3.9 builtin, removed install code 2017-06-26 13:18:48 +01:00
before-install-linux-go.sh remove unnecessary calls 2017-02-19 11:38:02 +08:00
before-install-linux-java.sh remove unnecessary calls 2017-02-19 11:38:02 +08:00
before-install-linux-javascript.sh force-rebuild 2017-02-19 13:19:56 +08:00
before-install-linux-python2.sh remove unnecessary calls 2017-02-19 11:38:02 +08:00
before-install-linux-python3.sh try generic python 3.5 2017-02-20 10:36:36 -08:00
before-install-linux-swift.sh fix linker issue on travis ubuntu 2017-06-03 22:57:21 -07:00
before-install-osx-cpp.sh divide and conquer 2016-11-28 02:44:07 +08:00
before-install-osx-dotnet.sh [dotnet] for linux target, bring up to jdk8 since jdk7 no longer available for Trusty; for linux and osx targets, bring up dotnet from 1.0.3 to 1.0.4; Trusty image now has mvn 3.3.9 builtin, removed install code 2017-06-26 13:18:48 +01:00
before-install-osx-swift.sh divide and conquer 2016-11-28 00:56:14 +08:00
run-tests-cpp.sh categorise tests to fix Travis timeout, fix script 2017-06-27 01:47:01 +08:00
run-tests-csharp.sh divide and conquer 2016-11-28 02:22:18 +08:00
run-tests-dotnet.sh dotent also times out 2017-06-28 22:18:19 +08:00
run-tests-go.sh divide and conquer 2016-11-28 02:22:18 +08:00
run-tests-java.sh move to script file 2016-11-27 14:06:19 -08:00
run-tests-javascript.sh divide and conquer 2016-11-28 02:22:18 +08:00
run-tests-python2.sh divide and conquer 2016-11-28 02:22:18 +08:00
run-tests-python3.sh divide and conquer 2016-11-28 02:22:18 +08:00
run-tests-swift.sh fix failing build 2017-06-28 20:40:16 +08:00