Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Build Manager

Email Gateway (Oct 28 2024 at 09:38):

From: Fabian Huch <huch@in.tum.de>
* System *

• The Build_Manager module has replaced previous glue-code for Jenkins
  integration. The module contains a server that coordinates continuous
  integration jobs and user-submitted build tasks and displays them via
  web front-end. Users can submit tasks in the same manner as with the
  local build tool, for example:

isabelle build_task -o build_manager_ssh_user=huch -c -A: -a -X slow

This requires SSH access to the server and membership in a common Unix
group (same requirements as push access to the Isabelle repository).

The build manager makes it easy to test any changes before a push.
To use the build_task command (almost) as a drop-in replacement for
isabelle build,
trust our TUM signatures by adding the authority to the known hosts
(typically
in ~/.ssh/known_hosts):

@cert-authority * ssh-ed25519
AAAAC3NzaC1lZDI1NTE5AAAAIILPDbJFF8fp35wkNK13f3H4SZEUWokcr65pgQ72S8Je CA@mta

And place your ssh user in ~/.isabelle/etc/preferences, e.g.:

build_manager_ssh_user = "huch"

A good test (approx. 45 mins) for Isabelle or AFP changes then is:

isabelle build_task -A: -a -X slow

Fabian

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

Last updated: Feb 01 2025 at 20:19 UTC