pull_request.sh 141 B

123456
  1. #!/bin/bash
  2. export DOCKERFILE_DIR=tools/docker
  3. export DOCKER_RUN_SCRIPT=tools/run_tests/jenkins.sh
  4. ./tools/jenkins/build_and_run_docker.sh