Skip to content

misc - #48

Merged
dxchel merged 2 commits into
mainfrom
misc
May 30, 2026
Merged

misc#48
dxchel merged 2 commits into
mainfrom
misc

Conversation

@dxchel

@dxchel dxchel commented May 30, 2026

Copy link
Copy Markdown
Owner
  • Added release make which uses optimized compilation
  • Added docker container notes and release compilation

@dxchel
dxchel merged commit b80572a into main May 30, 2026
1 check passed
@dxchel
dxchel deleted the misc branch May 30, 2026 19:20
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.

1 participant