Fix docker build step in release workflow#2854

Merged

adpaco-aws merged 1 commit intomodel-checking:mainfrom adpaco-aws:fix-package-docker

Nov 2, 2023

+1

Commits on Nov 2, 2023

Output version in versioning step
adpaco-aws
committed