Don't do Docker things on CI