diff options
Diffstat (limited to 'analysis')
| -rw-r--r-- | analysis/Justfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/analysis/Justfile b/analysis/Justfile index e6762d3..a61f5bf 100644 --- a/analysis/Justfile +++ b/analysis/Justfile @@ -7,6 +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/ download-criterion job: rsync -ravP candelabra:/opt/candelabra/src/tests/target/criterion/ {{justfile_directory()}}/{{job}}/criterion |