diff options
author | Aria Shrimpton <me@aria.rip> | 2024-03-07 22:26:13 +0000 |
---|---|---|
committer | Aria Shrimpton <me@aria.rip> | 2024-03-07 22:26:13 +0000 |
commit | 7c6f917ce9f072630315cd2552d3859e5625ef62 (patch) | |
tree | 05852e1419f02b3fed1628dc8c33441abf9addfb /src | |
parent | dd3d6a04d6e4e6e343d7ae8546ba2f7207082d29 (diff) |
fix justfile
Diffstat (limited to 'src')
-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) |