[isabelle-dev] Build NEWS

[Lars Hupel]

> 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/>