Skip to content

Update all workflows to have a draft input which enables medley-online docker image to be labelled -development and, if deployed, deployed to the development server.#71

Merged
fghalasz merged 11 commits into
mainfrom
fgh_deploy-specific
Jun 8, 2026

Conversation

@fghalasz

@fghalasz fghalasz commented Jun 8, 2026

Copy link
Copy Markdown
Member

No description provided.

@fghalasz fghalasz merged commit bacf243 into main Jun 8, 2026
@nbriggs

nbriggs commented Jun 8, 2026

Copy link
Copy Markdown

Perhaps as another PR - could you update the OIO operations documentation to reflect this, and any other changes. Could you make that document more specific - aiming at someone who has never used any of the tools before. For example:

Make sure that the Docker image corresponding to the new Medley release has been created and uploaded to
Docker Hub under interlisp/medley.

Docker Hub? How does that relate to GHCR? Where would I look to see if that has happened?

In the interlisp/online Github repo, run the Build/Push Online-Medley Docker Image action.

There is no action named that (anymore?)

@fghalasz

fghalasz commented Jun 8, 2026

Copy link
Copy Markdown
Member Author

@nbriggs You are right. The Operation documentation on updating Medley-Online releases is WAY out-of-date. I have added an issue in the Medley repo and assigned it to myself. I will release updates in a separate PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants