Store information about execution failure timing

[krassowski]

References

deshaw/jupyterlab-execute-time#84

Code changes

Adds execution_failed to execution metadata when execution is aborted due to kernel restart/when kernel dies.

Questions:

• is execution_failed the best name? the other existing keys are derived from message channel/name/status:
  

  jupyterlab/packages/cells/test/widget.spec.ts

  Lines 905 to 911 in 897418f

  	const TIMING_KEYS = [
  	'iopub.execute_input',
  	'shell.execute_reply.started',
  	'shell.execute_reply',
  	'iopub.status.busy',
  	'iopub.status.idle'
  	];

User-facing changes

Users of jupyterlab-execute-time will be able to see when the execution failed/after how much time rather than incorrectly seeing the execution timer continue.

Before	After

Backwards-incompatible changes

None

[jupyterlab-probot]

Thanks for making a pull request to jupyterlab!
To try out this branch on binder, follow this link:

[fcollonval]

Thanks @krassowski