You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Mark killed microVMs as not spawned, so that we don't try to kill them
twice. This avoids the spam we get in the CI that we are trying to kill
a non-existing PID. Also, clear the list of microVMs stored by
MicroVMFactory once we call kill() on it.
Signed-off-by: Babis Chalios <[email protected]>
0 commit comments