I would just echo what Marc Bosc said. There's nothing to prevent House leaders from meeting virtually on Tuesday, like they always do. The committee could recommend that or House leaders could take that up amongst themselves.
On June 4th, 2020. See this statement in context.