Files and script for CI infrastructure