New github workflow: linux-eic-shell build-and-check-overlap