Infrastructure status

All systems operational.

Overview

Dashboard · Timing statistics

Status

Isabelle repository
AFP repository

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@bitbucket.org/isa-afp/afp-testboard

Status

Isabelle testboard
AFP testboard

Load

Load diagram