Skip to content

Set up GitHub actions, implemented dynamic suggestions and added commit ids to the repos in ground truth#71

Merged
Anas-Elhounsri merged 1 commit intomainfrom
dev
Apr 17, 2026
Merged

Set up GitHub actions, implemented dynamic suggestions and added commit ids to the repos in ground truth#71
Anas-Elhounsri merged 1 commit intomainfrom
dev

Conversation

@Anas-Elhounsri
Copy link
Copy Markdown
Collaborator

No description provided.

@Anas-Elhounsri Anas-Elhounsri merged commit b16b673 into main Apr 17, 2026
1 check failed
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