Travis CI appears to use an Ubuntu Docker image for Debian:Stretch

Hi! When running a docker container, the kernel of the host system is being used. A docker container does not bring its own kernel. This is expected behavior.

1 Like