Skip to content

build: enhance the Makefile to build both main and analyze tools across platforms and fix blank version commit message#3

Merged
rubenszinho merged 2 commits intodevelopfrom
ci-improvement
Apr 17, 2025
Merged

build: enhance the Makefile to build both main and analyze tools across platforms and fix blank version commit message#3
rubenszinho merged 2 commits intodevelopfrom
ci-improvement

Conversation

@rubenszinho
Copy link
Member

No description provided.

@rubenszinho rubenszinho merged commit 026f3f3 into develop Apr 17, 2025
1 check passed
@rubenszinho rubenszinho deleted the ci-improvement branch April 17, 2025 03:55
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