- Renames "server" to "core" in GitHub Actions workflow and comment posting action. - This ensures that code coverage paths and labels are accurate after the package rename.