[isabelle-dev] [CI] Jenkins build control

[Fabian Huch]

It is now possible for Isabelle developers to start and stop builds on 
the jenkins [1].

To log in, use your ldap credentials for our tum-servers, i.e. the 
account you use to push to the isabelle/isabelle-server.in.tum.de 
repositories.

Also, the testboard job can now be parameterized with an afp-testboard 
revision to build against, so you can test your changes if you need to 
adapt something in the AFP for them to work.


Fabian


[1]: https://ci.isabelle.systems/jenkins