Skip to content

Conversation

@zamazan4ik
Copy link
Contributor

  • Labeled the PR with patch, minor, or major to request a version bump when it's merged.
  • Updated the user manual in docs/.
  • Added integration / regression tests in tests/.

Resolves #350

@github-actions github-actions bot added the patch Bug fixes or non-functional changes label Feb 10, 2025
@9999years
Copy link
Member

Looks great, thanks for fixing this!

@9999years 9999years merged commit 48f5f5c into MercuryTechnologies:main Feb 11, 2025
41 checks passed
@github-actions
Copy link
Contributor

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

patch Bug fixes or non-functional changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Enable Link-Time Optimization (LTO) and codegen-units = 1

2 participants