Closed alicesaidhi closed 2 months ago
it should separate the general and the testkit changes into different PRs
Also I have changed my mind, I want FOCUS not to run the unfocused tests. Although I am not sure how that could be accomplished...
Also I have changed my mind, I want FOCUS not to run the unfocused tests. Although I am not sure how that could be accomplished...
not possible without changing syntax
it should separate the general and the testkit changes into different PRs
how would i even do this without force-pushing..
how would i even do this without force-pushing.. If you checked out from main then just need to reset and integrate these changes. But if you checked out from the benchmark branch then you have to rebase!
how would i even do this without force-pushing.. If you checked out from main then just need to reset and integrate these changes. But if you checked out from the benchmark branch then you have to rebase!
If you would prefer, I can do it myself and close this issue. But no contribution brownie points ☹️
Add FOCUS() to testkit to allow for focusing on certain tests.
usage:
this would output: