We should change this such that the badge only considers the last master branch CI run, otherwise the badge says CI failing when eg a PR fails the CI