I've seen some people mention similar situations on travel forums, didn't seem like it's generally an issue if it's a common shortening of the full name. I guess it ultimately depends on what the context is for checking the vaccine record (which country for example) and sometimes to fussiness of the person checking.