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

Add initial Travis support #12

Merged
merged 1 commit into from Nov 6, 2016
Merged

Add initial Travis support #12

merged 1 commit into from Nov 6, 2016

Conversation

jsotuyod
Copy link
Member

@jsotuyod jsotuyod commented Nov 6, 2016

@iloveeclipse
Copy link
Member

Is there a way to setup a project mail so that everyone will be informed if build will fail? Something like gerrit does?

@jsotuyod
Copy link
Member Author

jsotuyod commented Nov 6, 2016

Actually, I'm removing notifications, and enabling the GitHub hook with Travis, so that merge is forbidden if the build for the PR doesn't pass. This, along with the current prohibition of pushing to master without a PR should be enough without noisy email notifications every time someone sends a broken PR.

Copy link
Member

@iloveeclipse iloveeclipse left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I can't verify the travis script but changes on ant files should be OK.

@iloveeclipse iloveeclipse merged commit afc1ecb into master Nov 6, 2016
@jsotuyod jsotuyod deleted the travis branch November 6, 2016 21:59
@jsotuyod jsotuyod mentioned this pull request Nov 8, 2016
@KengoTODA KengoTODA added this to the SpotBugs 3.1.0 milestone Nov 26, 2016
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.

None yet

4 participants