Skip to content

chore: Use original ctest#40

Merged
JohnTitor merged 1 commit intomainfrom
chore/ctest
Jun 22, 2025
Merged

chore: Use original ctest#40
JohnTitor merged 1 commit intomainfrom
chore/ctest

Conversation

@JohnTitor
Copy link
Owner

No description provided.

@JohnTitor JohnTitor merged commit 6b9a8bc into main Jun 22, 2025
6 checks passed
@JohnTitor JohnTitor deleted the chore/ctest branch June 22, 2025 02:30
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