Fix Docker push of shortened SHA

[lspgn]

Push was failing due to a bash syntax that was not interpreted inside the environment variable.

[ties]

Let's try this iteration. Pretty confusing that this env var substitution in some places (steps) is a shell and in others (like here) is something else...