Merge pull request #13 from gayanW/dev
[jpf-core.git] / .travis.yml
2018-04-18 Willem VisserMerge pull request #13 from gayanW/dev
2018-04-18 Willem VisserMerge branch 'dev' into dev
2018-04-18 Willem VisserMerge branch 'dev' of https://github.com/javapathfinder...
2018-04-18 Willem VisserMerge branch 'master' of https://github.com/javapathfin...
2018-04-17 Gayan WeerakuttiMake Travis build against latest available oracle-jdk
2018-04-17 Gayan WeerakuttiCreate .travis.yml
2018-04-17 Willem VisserDelete travis support from dev
2018-04-17 Willem VisserMerge pull request #6 from gayanW/travis
2018-04-17 Willem VisserFirst try for Travis
2018-03-08 Gayan WeerakuttiCreate .travis.yml