Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] [CI] Jenkins build control

view this post on Zulip Email Gateway (Jul 05 2021 at 14:34):

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

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.



isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC