80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
Build History
x
 -
 112 MB
 112 MB
 112 MB
 112 MB
 112 MB
 112 MB
 112 MB
 112 MB
 112 MB
 111 MB
 111 MB
 112 MB
 111 MB
 112 MB
 112 MB
 112 MB
 112 MB
 112 MB
 112 MB
 112 MB
 112 MB
 112 MB
 111 MB
 112 MB
 112 MB
 111 MB
 112 MB
 112 MB
 99 MB

Project isabelle-nightly-slow

Workspace
Last Successful Artifacts
Expand all Collapse all
Recent Changes
Disk Usage
Directory iconJob23 GB
Directory iconAll builds23 GB
Directory iconLocked builds-
Directory iconAll workspaces3 GB
Directory iconSlave workspaces3 GB
Directory iconNon-slave workspaces-