Skip to content

Add new features#26

Merged
tonyredondo merged 10 commits intomainfrom
tony/add-new-features
Jul 16, 2025
Merged

Add new features#26
tonyredondo merged 10 commits intomainfrom
tony/add-new-features

Conversation

@tonyredondo
Copy link
Member

@tonyredondo tonyredondo commented Jul 16, 2025

What does this PR do?

Updates the exports to implement the new features available.

  • Impacted tests support on topt_test_set_source
  • Add support for test logs with topt_test_log

Motivation

Add compatibility with the new features.

Additional Notes

Possible Drawbacks / Trade-offs

Describe how to test/QA your changes

@tonyredondo tonyredondo marked this pull request as ready for review July 16, 2025 11:03
@tonyredondo tonyredondo merged commit 7991210 into main Jul 16, 2025
55 checks passed
@tonyredondo tonyredondo deleted the tony/add-new-features branch July 16, 2025 11:23
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.

2 participants