Infrastructure status

All systems operational.

Overview

Status

Isabelle+AFP repositories
Isabelle+AFP repositories (distributed)

Testboards

The testboard repositories can be used to try out experimental changes.

Usage

It is expected to force-push to the testboard repositories, but please be careful that you do not force-push to the actual repositories.
Isabelle testboard
hg push -f ssh://isabelle-server.in.tum.de//home/isabelle-repository/repos/testboard
AFP testboard
hg push -f ssh://hg@foss.heptapod.net/isa-afp/afp-testboard

Status

Isabelle testboard
AFP testboard

Load

Load diagram