Sorry about that, this commit should be reverted. There's obviously another trick required to getting the workflow the PR write permissions.
I suspect it possibly requires a separate Github App token or something equally more complex than just the permission request flag.
Without the badge, the code coverage check is still done, and it will fail on low coverage pulls (as I expect is desirable).
But to get the actual code coverage result would require digging into the action log.
This one didn't work well :(
Sorry about that, this commit should be reverted. There's obviously another trick required to getting the workflow the PR write permissions.
I suspect it possibly requires a separate Github App token or something equally more complex than just the permission request flag.
Without the badge, the code coverage check is still done, and it will fail on low coverage pulls (as I expect is desirable). But to get the actual code coverage result would require digging into the action log.