I think this time I did a

git tag --list

locally after cutting the release to check to see if the tag had been created; I assumed it pushed it right after creating it but maybe that was a bad assumption