Skip to content

feat: use JSpecify - #111

Merged
squid233 merged 1 commit into
mainfrom
feature
Aug 1, 2025
Merged

feat: use JSpecify#111
squid233 merged 1 commit into
mainfrom
feature

Conversation

@squid233

@squid233 squid233 commented Aug 1, 2025

Copy link
Copy Markdown
Member

Summary

use JSpecify instead of JetBrains annotations

Motivation

Why is this needed...

Description

Full description of your changes...

Additional Context

Other context such as version, dependencies, ...


@squid233 squid233 added this to the 0.1.0 milestone Aug 1, 2025
@squid233 squid233 self-assigned this Aug 1, 2025
@squid233 squid233 added enh enhancement: new feature or feature request P4 Low priority removal Removal of features labels Aug 1, 2025
@squid233
squid233 merged commit b6f8861 into main Aug 1, 2025
7 checks passed
@github-project-automation github-project-automation Bot moved this from 📑 New to ☕ Integrated in OverrunGL Project Aug 1, 2025
@squid233 squid233 moved this from ☕ Integrated to ✅ Closed / Delivered in OverrunGL Project Oct 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enh enhancement: new feature or feature request P4 Low priority removal Removal of features

Projects

Status: ✅ Closed / Delivered

Development

Successfully merging this pull request may close these issues.

1 participant