From 3d909b86b2f0950116b34442e4438439dc9f6bd5 Mon Sep 17 00:00:00 2001 From: Aria Shrimpton Date: Thu, 1 Feb 2024 01:53:03 +0000 Subject: latex output in CI --- src/Justfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Justfile') 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}}" -- cgit v1.2.3