Skip to content

Use jspecify annotations#13873

Merged
calixtus merged 1 commit into
JabRef:mainfrom
subhramit:jspecify
Sep 13, 2025
Merged

Use jspecify annotations#13873
calixtus merged 1 commit into
JabRef:mainfrom
subhramit:jspecify

Conversation

@subhramit

@subhramit subhramit commented Sep 13, 2025

Copy link
Copy Markdown
Member

NA, internal refactor
Fixes jbang tests

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.

@calixtus calixtus enabled auto-merge September 13, 2025 13:31
@trag-bot

trag-bot Bot commented Sep 13, 2025

Copy link
Copy Markdown

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

@calixtus calixtus added this pull request to the merge queue Sep 13, 2025
@koppor

koppor commented Sep 13, 2025

Copy link
Copy Markdown
Member

I wonder why our architecture tests did not find this 😅

auto-merge was automatically disabled September 13, 2025 13:51

Pull Request is not mergeable

Merged via the queue into JabRef:main with commit f0a95a8 Sep 13, 2025
41 checks passed
@calixtus calixtus deleted the jspecify branch September 13, 2025 14:06
Siedlerchr added a commit that referenced this pull request Sep 13, 2025
* upstream/main:
  Chronological navigation in libraries (#13863)
  Adapt code style (#13874)
  LSP Refactor to use ranges instead of string matching (#13862)
  Use jspecify (#13873)
  changed Keyword.of to accept List<String> instead of varargs (#13871)
@calixtus calixtus mentioned this pull request Sep 24, 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.

3 participants