pull_request.sh 170 B

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