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 '{}' \;