Skip to content

Misc improvements#80

Merged
Ilyes512 merged 1 commit into
mainfrom
54-misc-improvements
Jun 5, 2026
Merged

Misc improvements#80
Ilyes512 merged 1 commit into
mainfrom
54-misc-improvements

Conversation

@Ilyes512

@Ilyes512 Ilyes512 commented Jun 5, 2026

Copy link
Copy Markdown
Member

No description provided.

@Ilyes512 Ilyes512 enabled auto-merge June 5, 2026 15:26
@Ilyes512 Ilyes512 merged commit 5a38482 into main Jun 5, 2026
2 checks passed
@Ilyes512 Ilyes512 deleted the 54-misc-improvements branch June 5, 2026 15:27
@Ilyes512 Ilyes512 linked an issue Jun 5, 2026 that may be closed by this pull request
15 tasks
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.

Lower-impact polish (bundled checklist)

1 participant