Try to make the CI status more robust#60

cuviper merged 2 commits intorust-num:masterrust-num/num-integer:masterfrom

cuviper:ci-mergecuviper/num-integer:ci-mergeCopy head branch name to clipboard