1#!/bin/bash -eux 2 3cd "$BRANCH_NAME/" 4mkdir pr 5cd pr/ 6git clone --branch "$BRANCH_NAME" --single-branch git@github.com:"$REPO_NAME".git NullAway 7cd NullAway/ 8 9./gradlew jmh --no-daemon 10