We also have an action adding a link to the build at the PR (

). We have an action removing the branch on builds.jabref.org (https://github.com/JabRef/jabref/blob/main/.github/workflows/cleanup_pr.yml). Then, the link is 404. Thus, the comment should be deleted. This PR tries that.

Mandatory checks

• Change in CHANGELOG.md described in a way that is understandable for the average user (if applicable)
• Tests created for changes (if applicable)
• Manually tested changed features in running JabRef (always required)
• Screenshots added in PR description (for UI changes)
• Checked developer's documentation: Is the information available and up to date? If not, I outlined it in this pull request.
• Checked documentation: Is the information available and up to date? If not, I created an issue at https://github.com/JabRef/user-documentation/issues or, even better, I submitted a pull request to the documentation repository.