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.