Fix the tagging so that the github_release_tag (Medley Docker Image Tag) input really works on github actions. - #73

Fix the tagging so that the github_release_tag (Medley Docker Image Tag) input really works on github actions.#73

fghalasz merged 2 commits into

mainInterlisp/online:mainfrom

fgh_fixFromInDockerMedleyInterlisp/online:fgh_fixFromInDockerMedleyCopy head branch name to clipboard