coreos-ci-lib This repo contains a Jenkins pipeline shared library used for CI on various CoreOS-related projects.