[isabelle-dev] [CI] Jenkins build control
huch at in.tum.de
Mon Jul 5 16:34:25 CEST 2021
It is now possible for Isabelle developers to start and stop builds on
the jenkins .
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
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.
More information about the isabelle-dev