Jenkins

As of a70c7d4, Jenkins operation is driven by the Jenkinsfile in the tree. In order to create (or re-create) the project on the Jenkins server, the following initial steps must be performed:

1. Login to your GitHub account and then use it to login to the Jenkins server.

2. Select New Pipeline in the Blue Ocean interface and answer the following:

   1. Select "GitHub" for "Where do you store your code?"

   2. Select "cmu-db" for "Which organization does the repository belong to?"

   3. Select the "peloton" repository and "Create Pipeline"

3. Once the pipeline is created, navigate to the project page, and select "Configure" from the left sidebar and adjust the following:

• Branch Sources
  • GitHub
    • Behaviors -> Add
      • Discover pull requests from forks
        • Strategy: Merging the pull request with the current target branch revision
        • Trust: Contributors
      • Discover pull requests from origin
        • Strategy: Merging the pull request with the current target branch revision

4. Click "Save" at the bottom of the page.

Preparing Docker images to run as Jenkins workers

The following steps (required, unless specified otherwise) describe the preparation required since the default containers from the Docker hub are so minimal:

1. pull and run an image of the type you want to configure, e.g., docker run -it ubuntu:xenial
2. install any prerequisite packages that are needed for script/installation/packages.sh to run, e.g.apt-get -qq update && apt-get -qq -y --no-install-recommends install python-dev lsb-release sudo
3. add a user and group jenkins and grant all sudo privileges