ci: Make sure to exit promptly if `make install` fails.

Due to the vageries of bash, you have to explicitly handle the failure and exit when in a function.

This failed to exit promptly when !8247 (closed) was failing.

See #21358 (closed) for the general issue

cc @chreekat, something to be aware of