diff options
| author | Aria Shrimpton <me@aria.rip> | 2024-02-01 01:53:03 +0000 |
|---|---|---|
| committer | Aria Shrimpton <me@aria.rip> | 2024-02-01 01:53:03 +0000 |
| commit | 3d909b86b2f0950116b34442e4438439dc9f6bd5 (patch) | |
| tree | f15a42a84eb4f0c771ad19368dfd6b78b7903a82 /src | |
| parent | 7ce81d97d9b04d537907704e6883c65ba52f56e2 (diff) | |
latex output in CI
Diffstat (limited to 'src')
| -rw-r--r-- | src/Justfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Justfile b/src/Justfile index 92cbe11..1dd17f6 100644 --- a/src/Justfile +++ b/src/Justfile @@ -16,10 +16,10 @@ run-all-tests: @cd tests/ && for i in $(ls -d */); do [ "${i%%/}" == "target" ] || just compare ${i%%/}; done cost-model impl: (section-start ("cost-model-" + impl)) && (section-end ("cost-model-" + impl)) - {{candelabra}} cost-model {{impl}} + {{candelabra}} -l cost-model {{impl}} compare proj: (section-start ("compare-" + proj)) && (section-end ("compare-" + proj)) - {{candelabra}} --manifest-path {{tests_manifest}} -p {{proj}} select --compare + {{candelabra}} -l --manifest-path {{tests_manifest}} -p {{proj}} select --compare @section-start NAME: echo -e "\e[0Ksection_start:`date +%s`:{{replace(NAME, ":", "-")}}\r\e[0K{{NAME}}" |