Merge branch 'dev-workflow-push' into main. Close space-ros#93.

Merge pull request space-ros#76 from mkhansenbot/add_pipefail

Add pipefail to space_robots build so that it fails on error