80%
WDescription%
Build stability: 1 out of the last 5 builds failed.80
Build History
x
 148 MB
 147 MB
 146 MB
 145 MB
 146 MB
 146 MB
 144 MB
 145 MB
 145 MB
 145 MB
 146 MB
 145 MB
 145 MB
 145 MB
 146 MB
 145 MB
 145 MB
 145 MB
 145 MB
 145 MB
 145 MB
 145 MB
 143 MB
 143 MB
 143 MB
 143 MB
 144 MB
 169 MB
 168 MB
 169 MB

Project isabelle-all

Workspace
Last Successful Artifacts
Recent Changes
Disk Usage
Directory iconJob82 GB
Directory iconAll builds82 GB
Directory iconLocked builds-
Directory iconAll workspaces14 GB
Directory iconSlave workspaces14 GB
Directory iconNon-slave workspaces-