Skip to content

Fixes#781

Merged
nicolaasuni merged 5 commits intomainfrom
fixes
Jan 26, 2025
Merged

Fixes#781
nicolaasuni merged 5 commits intomainfrom
fixes

Conversation

@nicolaasuni
Copy link
Member

@nicolaasuni nicolaasuni commented Jan 26, 2025

  • Fix some annotation flags values.
  • Remove examples from packaging.

@nicolaasuni nicolaasuni merged commit f7a7810 into main Jan 26, 2025
13 checks passed
@nicolaasuni nicolaasuni deleted the fixes branch January 26, 2025 14:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants