Version 5.0 missing on pub.dev

[derrickgw]

I would like to use version 5.0.0. I see that is was tagged here in github, but I don't see the version on pub.dev. There doesn't seem to be any github actions that push releases to pub.dev, so I am not sure if there was an error in the push, or if the push simply hasn't happened yet.

I am willing to help setup an action if that would help.