Merge pull request #7301 from LemonBoy/more-ci-stuff

Make the CI script more robust
a90de4eef5Andrew Kelley committed on 12/4/2020, 8:15:55 PM· committed by GitHubparentsc4853ba55838bc
1 file changedLine totals unavailable