diff options
Diffstat (limited to 'analysis/Justfile')
| -rw-r--r-- | analysis/Justfile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/analysis/Justfile b/analysis/Justfile index 4fa628c..837a79e 100644 --- a/analysis/Justfile +++ b/analysis/Justfile @@ -1,7 +1,7 @@ default: livebook server -fetch job: (download-log job) (download-criterion job) +fetch job: (download-log job) (download-other job) download-log job: mkdir -p {{justfile_directory()}}/{{job}} @@ -9,8 +9,9 @@ download-log job: ./split-log.py {{justfile_directory()}}/{{job}}/log grep -R -H -i 'error' {{justfile_directory()}}/{{job}}/sections/ -download-criterion job: +download-other job: rsync -ravP candelabra:/opt/candelabra/src/tests/target/criterion/ {{justfile_directory()}}/{{job}}/criterion + rsync -ravP candelabra:/opt/candelabra/src/target/candelabra/ {{justfile_directory()}}/{{job}}/candelabra rm -rf {{justfile_directory()}}/{{job}}/criterion/report find {{justfile_directory()}}/{{job}}/criterion -iname '*.svg' -exec rm '{}' \; find {{justfile_directory()}}/{{job}}/criterion -iname '*.html' -exec rm '{}' \; |