aria.rip
this repo has no description
1default:
2 livebook server
3
4split-log job outp="current":
5 ./split-log.py {{justfile_directory()}}/{{outp}}/log
6
7fetch-cost-models outp="current":
8 mkdir -p {{justfile_directory()}}/{{outp}}
9 rm -fr {{justfile_directory()}}/{{outp}}/candelabra
10 rsync -ravP ../src/target/candelabra/ {{justfile_directory()}}/{{outp}}/candelabra
11
12fetch-comparisons outp="current":
13 mkdir -p {{justfile_directory()}}/{{outp}}
14 rm -fr {{justfile_directory()}}/{{outp}}/criterion
15 rsync -ravP ../src/tests/target/criterion/ {{justfile_directory()}}/{{outp}}/criterion
16 rm -rf {{justfile_directory()}}/{{outp}}/criterion/report
17 find {{justfile_directory()}}/{{outp}}/criterion -iname '*.svg' -exec rm '{}' \;
18 find {{justfile_directory()}}/{{outp}}/criterion -iname '*.html' -exec rm '{}' \;