Just use the badge

Hopefully the badge isn't as flaky as it is on autopep8.