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 <huch@in.tum.de>
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


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Jul 15 2022 at 23:21 UTC