Skip to content

modify build-problem script#142

Merged
AhmedSobh036 merged 1 commit intomainfrom
modify-build-problem-script
Apr 28, 2025
Merged

modify build-problem script#142
AhmedSobh036 merged 1 commit intomainfrom
modify-build-problem-script

Conversation

@AhmedSobh036
Copy link
Collaborator

@AhmedSobh036 AhmedSobh036 commented Apr 28, 2025

Since build problems doesn't account for mutation problems i modified it so that it compiles the mutations and the solution to the problem in the problem.josn file

@kyrillionn
Copy link
Collaborator

looks good!

@AhmedSobh036 AhmedSobh036 merged commit d2e2d58 into main Apr 28, 2025
1 check passed
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.

3 participants