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