fix(server): Use the correct artifact name in maven-metadata.xml#2297

Vampire wants to merge 1 commit intovampire/fix-maven-metadata-versionstypesafegithub/github-workflows-kt:vampire/fix-maven-metadata-versionsfrom

vampire/fix-maven-metadata-artifact-nametypesafegithub/github-workflows-kt:vampire/fix-maven-metadata-artifact-nameCopy head branch name to clipboard