search

CakeML / regression

Regression testing infrastructure for CakeML
https://cakeml.org/regression.cgi
GNU General Public License v3.0
3 stars 8 forks source link

Add early artefact upload #4

Closed ncough closed 6 years ago

ncough commented 6 years ago

This change adds the option to upload build results before the entire regression task has completed. The build-sequence entry must be annotated with a list of artefacts, separated by ':'.

ncough commented 6 years ago

This change is required to allow for the early results from sexpr bootstrap, which won't fail due to memory constraints like the full bootstrap. I haven't been able to test this on a server setup, so I am not 100% certain its valid.

xrchz commented 6 years ago

OK, this seems reasonable. Do you want to also make the default end-of-regression artefacts work like this? i.e., we annotate the last few dirs with their uploads. That would be nice, I think.

xrchz commented 6 years ago

(happy to merge this first if you want)

ncough commented 6 years ago

I agree, the end-of-regression artefacts can go through this process as well, as the 64-bit result should be available a little sooner this way. I'll put together the change to the build-sequence once this has been merged.

xrchz commented 6 years ago

Do we still need the final upload_artefacts call now? Won't they have been uploaded early already?