Build docker images after release

Use a custom runner to build & push docker images on the registry

• gpu basic dev
• cpu basic dev
• gpu basic
• cpu basic
• gpu dev (SSE, AVX optimized)
• cpu dev (SSE, AVX optimized)

added Docker Enhancement labels

closed

mentioned in commit 0f092f3c

By Cresson Remi on 2022-04-22T16:26:05 (imported from GitLab)