HomeIsabelle/Phabricator

do not crash into already running exec, instead join its lazy result in theā€¦

Description

do not crash into already running exec, instead join its lazy result in the subsequent step (amending 59f1591a11cb);

Details

Provenance
makariusAuthored on
Parents
rISABELLE2183c731f0a7: more explicit errors;
Branches
Unknown
Tags
Unknown

Event Timeline