isRawDiffSource()) { $this->maybePushToJenkins($workflow); } } ////////////////////////////////////////////////////////////////////// /* Send off builds to jenkins */ function maybePushToJenkins($workflow) { $diffID = $workflow->getDiffID(); if ($diffID === null) { return; } $results = $workflow->getTestResults(); if (!$results) { return; } $url = "https://ci-builds.fb.com/view/rocksdb/job/rocksdb_diff_check/" ."buildWithParameters?token=AUTH&DIFF_ID=$diffID"; system("curl --noproxy '*' \"$url\" > /dev/null 2>&1"); } }