Open kenneyd opened 6 years ago
Todo: move the PR stuff to circleci instead of our personal jenkins to avoid security issues from allowing anycode to be run on internal build server
Todo: move the PR stuff to circleci instead of our personal jenkins to avoid security issues from allowing anycode to be run on internal build server