It would be great if the release versions of GHDL remain on the DockerHub. So the user can decide to use the latest release instead of the latest nightly build.
It would be great if the release versions of GHDL remain on the DockerHub.
So the user can decide to use the latest release instead of the latest nightly build.