> Is there any consolidated documentation »How to test changesets > before contributing« or the like? I must confess that I don't even > know where to push changesets to, it is somewhere buried in my > mailbox.
See my original mail: > * As pointed out by Larry, navigation on the Jenkins pages is a > pain. I've revamped the status page with helpful links to the build > outputs of the various jobs and instructions on how to use the > testboard: > > <https://ci.isabelle.systems/status/> _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev