CircleCI currently failing - possibly due to lack of disk space?

Matthew Pickering matthewtpickering at
Wed Oct 31 13:40:30 UTC 2018

The bridge which sends diffs to circleci is currently failing with the
following error:

dans '/tmp/ghc-diffs-1008dbb33e68821b'...\nfatal: Impossible d'accéder
au répertoire de travail courant: No such file or directory\nfatal:
échec de index-pack\n","type":"Non-zero exit code","out":""}

The repo is 150mb big so it is possible that the machine running the
bridge has run out of disk space as it clones this repo repeatedly.
Could someone look into this?



More information about the ghc-devs mailing list