ci 191 B

12345678
  1. #!/bin/bash
  2. #
  3. # Backwards compatibility for jenkins
  4. #
  5. # TODO: remove this script after all current PRs and jenkins are updated with
  6. # the new script/test/ci change
  7. set -e
  8. exec script/test/ci