Skip to content

Refine workflows#13942

Merged
koppor merged 3 commits into
mainfrom
fix-workflows
Sep 21, 2025
Merged

Refine workflows#13942
koppor merged 3 commits into
mainfrom
fix-workflows

Conversation

@koppor

@koppor koppor commented Sep 21, 2025

Copy link
Copy Markdown
Member

Follow-up to #13850

  • Rename workflow file for better grouping
  • Factors out CHANGELOG.md modification check, because needs to be checked on both PR comment edit and PR content change
  • Fix forgotten upload of PR number
  • Add check for not uploading PR number if no PR
  • Fix "pr-commentyml" to raise no error on main branch

Mandatory checks

  • I own the copyright of the code submitted and I license it under the MIT license
  • [/] I manually tested my changes in running JabRef (always required)
  • [/] I added JUnit tests for changes (if applicable)
  • [/] I added screenshots in the PR description (if change is visible to the user)
  • I described the change in CHANGELOG.md in a way that is understandable for the average user (if change is visible to the user)
  • [/] I checked the user 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 updating file(s) in https://github.com/JabRef/user-documentation/tree/main/en.

@trag-bot

trag-bot Bot commented Sep 21, 2025

Copy link
Copy Markdown

@trag-bot didn't find any issues in the code! ✅✨

@koppor

koppor commented Sep 21, 2025

Copy link
Copy Markdown
Member Author

Can only be "properly" tested when in main - thus, I am merging.

@koppor koppor merged commit 449f565 into main Sep 21, 2025
58 checks passed
@koppor koppor deleted the fix-workflows branch September 21, 2025 14:14
@koppor koppor mentioned this pull request Oct 10, 2025
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant