Disk space on build server

FYI the build/sonar server is critically low on disk space. Builds that produce artifacts may fail. We’ll work on allocating more space, which may involve shutting off the server for a few hours this week. I’ll reply back when the maintenance is complete.

Rich