Fix in error handling for Docker builds#2249

Merged

petervdonovan merged 5 commits intomasterfrom fix-docker-error-handling

Apr 1, 2024

+40-37

Commits on Mar 28, 2024

Fix another unrelated bug uncovered by testing fix
petervdonovan
committed