Do not generate unused Arena #328

Merged

jwharm merged 1 commit from unused-arena into main 2026-02-13 07:54:41 +01:00

Conversation 0 Commits 1 Files changed 1 +1 -1

jwharm commented 2026-02-13 07:54:33 +01:00 (Migrated from github.com)

Copy link

A small performance fix: A Arena.auto() variable was generated in places where it is never used.

A small performance fix: A `Arena.auto()` variable was generated in places where it is never used.

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels   

bug

Something isn't working

  

dependencies

Pull requests that update a dependency file

  

documentation

Improvements or additions to documentation

  

duplicate

This issue or pull request already exists

  

enhancement

New feature or request

  

github_actions

Pull requests that update GitHub Actions code

  

good first issue

Good for newcomers

  

help wanted

Extra attention is needed

  

invalid

This doesn't seem right

  

java

Pull requests that update Java code

  

question

Further information is requested

  

wontfix

This will not be worked on

No labels

bug

dependencies

documentation

duplicate

enhancement

github_actions

good first issue

help wanted

invalid

java

question

wontfix

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

java-gi/java-gi!328

No description provided.