Fast-forward for 20.7.0#43

Merged

github-actions[bot] merged 4 commits intorelease20.7from

Jul 15, 2020

Commits on Jul 9, 2020

Refactor laboratory.workbooks and container listener code to be more efficient
bbimber
committed

Commits on Jul 10, 2020