path: root/tools/jenkins/pull_request.sh

#!/bin/bash


export DOCKERFILE_DIR=tools/docker
export DOCKER_RUN_SCRIPT=tools/run_tests/jenkins.sh
./tools/jenkins/build_and_run_docker.sh