Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Travis CI implementation #50

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

wikumChamith
Copy link

This adds Travis CI config file that will automatically clone and build jpf-core and then build jpf-symbc. Jpf-core already uses Travis CI to show current build status of the project and also to build PRs.

I am aware that there are plans to migrate jpf-symbc to Java 11 and I think this will be helpful in that process.

I have already enabled Travis CI for my fork: https://travis-ci.com/github/wikumC/jpf-symbc

Once this PR is being merged, then to enable Travis CI for this repository, one of the org admins of SymbolicPathFinder would need to enable this repo in their travis-ci.com profile.

Add Travis CI config file that will first clone and build jpf-core and
then will build jpf-symbc against OpenJDK8.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant