diff options
Diffstat (limited to 'analysis/Justfile')
| -rw-r--r-- | analysis/Justfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/analysis/Justfile b/analysis/Justfile index a61f5bf..4fa628c 100644 --- a/analysis/Justfile +++ b/analysis/Justfile @@ -7,7 +7,7 @@ download-log job: mkdir -p {{justfile_directory()}}/{{job}} curl https://git.tardisproject.uk/tcmal/dissertation/-/jobs/{{job}}/raw > {{justfile_directory()}}/{{job}}/log ./split-log.py {{justfile_directory()}}/{{job}}/log - grep -H -i 'error' {{justfile_directory()}}/{{job}}/sections/ + grep -R -H -i 'error' {{justfile_directory()}}/{{job}}/sections/ download-criterion job: rsync -ravP candelabra:/opt/candelabra/src/tests/target/criterion/ {{justfile_directory()}}/{{job}}/criterion |