Merge branch 'develop' into 'main'

ci: build and push a tagged image on release tags

See merge request !43