We have problems with /work filesystem. We are looking into the problem. Update 13:05: Issues were remediated and filesystem is available again. Please contact us in case you still encounter issues accessing it.