I finally fixed the example-docker CI issue that has been broken for months: https://github.com/pantsbuild/example-docker/pull/28