cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

post_style_errors_on_github.sh: Fix condition that sets $CIRCLE_PR_NUMBER

Browse Source
This commit is contained in:
Kamil Śliwak 2021-01-28 12:35:44 +01:00
parent 66d27f1ac6
commit cd4b667545
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
scripts/ci/post_style_errors_on_github.sh
View File

@ -4,10 +4,7 @@ ERROR_LOG="$1"
function report_error_to_github function report_error_to_github
{ {
if [[ $CIRCLE_PR_NUMBER != "" ]] [[ $CIRCLE_PR_NUMBER != "" ]] || CIRCLE_PR_NUMBER="${CIRCLE_PULL_REQUEST//[^0-9]/}"
then
CIRCLE_PR_NUMBER="${CIRCLE_PULL_REQUEST//[^0-9]/}"
fi
if [[ $CI == "true" ]] if [[ $CI == "true" ]]
then then