time tactic breaks proof delegation

[1024th]

A mininal example:

Lemma test: True.
Proof.
  time auto.
Qed.

If vscoq.proof.delegation is set to:

• "No delegation (all proofs are checked one after the other)", then things go well;
• "Skip the proofs which are out of focus. This requires a continuous checking to be off": then VsCoq complains (in proof test): Attempt to save an incomplete proof;
• "Delegate proofs": then vscoqtop crashes (dumps core).

[gares]

We are aware that skip/delegation is currently broken. Thanks for opening an issue for the problem