Thanks a bunch for taking this on! I haven't gotten anything back from Travis support yet, so let's go ahead and get this set up for PR's immediately while you keep working on the master commits (note that a token will probably be needed there for deploying the site). Can you test a failed build in your repo to make sure you get email notification?
For testing the PR support in JGraphT proper, is this the correct sequence?
1) I add the workflow by committing it directly in master
2) You pull latest and then create a new dummy PR
3) If everything is working properly, we can ask Dimitrios to merge from latest and then get a green checkmark for the webgraph PR again.
If so, I'll go ahead with step 1.