Publish tags for dev releases, add Release to "Releases" section in repo

[Takoooooo]

I think generally it could be a good practice. In my case it's needed because i am trying to find a related issue, but gh logs for related PR are already cleaned

[jeromelaban]

This is part of an upcoming devops change for releases. /cc @agneszitte @kazo0