New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

builtins: prepare ci job or script to push builtins to the registry #7073

Closed

vince-fugnitto opened this issue Feb 4, 2020 · 1 comment

Assignees

Labels

builtins

Milestone

Member

vince-fugnitto commented Feb 4, 2020 •

edited by marcdumais-work

Loading

Description

The goal is to be able to push builtins to the registry easily either by:

creating a CI job
automating the process through a script

In the long term this will make it easier to automate the publishing of builtins to the registry where they can be easily consumed.

Note: ATM it looks like we would be manually building/testing/curing builtins. So manual publishing aided by a script would make more sense.

vince-fugnitto added the builtins label

vince-fugnitto added this to the Theia 1.0.0 milestone

vince-fugnitto assigned marcdumais-work

Member Author

vince-fugnitto commented Jul 15, 2020

@marcdumais-work I believe the issue is closeable?

marcdumais-work closed this as completed

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