diff options
Diffstat (limited to 'analysis/Justfile')
| -rw-r--r-- | analysis/Justfile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/analysis/Justfile b/analysis/Justfile new file mode 100644 index 0000000..e6762d3 --- /dev/null +++ b/analysis/Justfile @@ -0,0 +1,15 @@ +default: + livebook server + +fetch job: (download-log job) (download-criterion job) + +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 + +download-criterion job: + rsync -ravP candelabra:/opt/candelabra/src/tests/target/criterion/ {{justfile_directory()}}/{{job}}/criterion + 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 '{}' \; |