Skip to content

Actions: JabRef/jabref

On labeled PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
240 workflow runs
240 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Readd @deprecated annotation
On labeled PR #39: Pull request #12056 labeled by koppor
October 22, 2024 06:39 2s fix-deprecation
October 22, 2024 06:39 2s
Replace @deprecated by explaining text
On labeled PR #38: Pull request #12055 labeled by koppor
October 21, 2024 18:27 2s fix-deprecation
October 21, 2024 18:27 2s
11219 adapt UI font size
On labeled PR #26: Pull request #12042 labeled by Siedlerchr
October 20, 2024 12:29 1s harry924:11219-adapt-ui-font-size
October 20, 2024 12:29 1s
Add some links into the code
On labeled PR #20: Pull request #12030 labeled by koppor
October 19, 2024 14:18 11s add-comments
October 19, 2024 14:18 11s
Click on entry at "Check integrity" focus bug fixed
On labeled PR #19: Pull request #12022 labeled by koppor
October 19, 2024 09:26 2s mulla028:issue-11997
October 19, 2024 09:26 2s
Fix removing comments
On labeled PR #16: Pull request #12019 labeled by koppor
October 18, 2024 11:34 11s fix-comment-removal
October 18, 2024 11:34 11s