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 a --stop flag to the worker #2

Closed michaelsproul closed 6 years ago

michaelsproul commented 6 years ago

Stopping a job via worker A won't actually notify the worker B running the job (if one exists). It's just a way to bump a job into the stopped state on the server (which is useful if the job is dead, and you want to move it to "aborted").