Project isabelle-nightly-slow

AFP slow session group.
Last Successful Artifacts
Expand all Collapse all
Disk Usage
Directory iconJob76 GB
Directory iconAll builds76 GB
Directory iconLocked builds-
Directory iconAll workspaces4 GB
Directory iconSlave workspaces4 GB
Directory iconNon-slave workspaces-