Docker build failure on Ubuntu 18.04 host

I’m hitting a strange build issue which seems to be down to the differences between Ubuntu hosts:

The only difference is the failing build is running on Ubuntu 18.04, whereas the succeeding build is running on Ubuntu 16.04. This is very strange because that part is failing inside of docker build, during the RUN command, which should have a consistent “environment” everywhere. I presume this is due to Docker Engine differences, unless I’m missing something?

Hi @gitfool, apologies for the inconvenience.  It looks like there was an issue with a kernel update to Ubuntu 18.04 that caused this problem.  We’ll investigate to see if we can update the kernel version to resolve this issue.