Closed TAdev0 closed 1 month ago
Hello! I'd like to work on this
Hello @TAdev0
My name is Emmanuel, a software developer from Costa Rica. I am already working on this repository and would be happy to assist with this task. I will review the current implementation and create a separate command to run the benchmarks.
Please let me know if this is acceptable.
Best regards, Emmanuel 😁
Hi ! @fmmesen you answered first, i guess i'll assign you. Can you work on it and propose a PR before the weekend? otherwise you can work on it @EmmanuelAR so that we can merge this feature before end of week
Hello @TAdev0 thank you! I'll start it today
hi @fmmesen any update? would be nice to merge this quickly so that we dont overwrite the benchmark file all the time with all the hints being currently implemented
Currently, benchmarks are run each time we do
make integration
. This lead to the txt file being overwritten again and again.