diff options
author | Aria Shrimpton <me@aria.rip> | 2024-02-24 22:52:48 +0000 |
---|---|---|
committer | Aria Shrimpton <me@aria.rip> | 2024-02-24 22:52:48 +0000 |
commit | a55cc62ddd94efd1797541781186793787d767a6 (patch) | |
tree | 665a8eb455257439872023e4cd400cad65d0ab20 /analysis/Justfile | |
parent | 24839876714d39ebee3052b0c58113af311e3a45 (diff) |
some setup for analysing results and stuff
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 '{}' \; |