100%
WDescription%
Build stability: No recent builds failed.100
Build History
x
 21 MB
 20 MB
 21 MB
 20 MB
 21 MB
 21 MB
 20 MB
 21 MB
 20 MB
 20 MB
 21 MB
 20 MB
 20 MB
 21 MB
 20 MB
 21 MB
 20 MB
 20 MB
 21 MB
 20 MB
 20 MB
 20 MB
 20 MB
 21 MB
 20 MB
 21 MB
 20 MB
 20 MB
 21 MB
 20 MB

Project isabelle-all

Workspace
Last Successful Artifacts
Recent Changes
Disk Usage
Directory iconJob288 GB
Directory iconAll builds288 GB
Directory iconLocked builds-
Directory iconAll workspaces16 GB
Directory iconSlave workspaces16 GB
Directory iconNon-slave workspaces-