diff options
Diffstat (limited to 'src/Justfile')
| -rw-r--r-- | src/Justfile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/Justfile b/src/Justfile index 855bd5a..9ffb539 100644 --- a/src/Justfile +++ b/src/Justfile @@ -30,6 +30,3 @@ select proj *FLAGS: (section-start ("compare-" + proj)) && (section-end ("compar @section-end NAME: echo -e "\e[0Ksection_end:`date +%s`:{{replace(NAME, ":", "-")}}\r\e[0K" - -brief-tests *SELECTFLAGS: cost-models (selections SELECTFLAGS) -all-tests: (brief-tests --compare) |