- Push both AMD64 & ARMv8 Jetson images together for images built on both using `docker buildx imagetools`
- Use standard 'docker pull and push' for images built only on AMD64.
- On PUSH events, if image build stages succeed, trigger DockerHub push stage
- Build the images, then trigger the Push to DockerHub stage
- Publish Jetson (ARM64/v8) and AMD64 images under the same tag on DockerHub
* Also added a parameter for the registry push pipeline.
Valid mainly when triggering manually the pipeline when run on develop fails.
* Nicer message2 construction
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
-- In case we do multiple merges per week
-- Also use the proper week numbering (ISO week number, with Monday as first day of week (01..53))
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>