Skip to content
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.

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

Includes ign-gui as a temporary dependency #158

Merged
merged 2 commits into from
Dec 23, 2020

Conversation

agalbachicar
Copy link
Collaborator

It'll be around until the migration is complete in delphyne-gui to the new set of ign packages.

… migration to newer versions of ignition happens.
@agalbachicar
Copy link
Collaborator Author

@jadecastro the problem seemed to be that github ci dependencies and the one used for the workspace got out of sync. We'll be more careful from now on with that.

Copy link

@jadecastro jadecastro left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This fixes the issue for me, with one small change (missing comma).

dsim.repos Outdated Show resolved Hide resolved
@scpeters
Copy link
Contributor

this was an oversight on my part in #152

actually, it would be preferable to use dsim.repos for the GitHub actions. I will create an issue for this

@stonier
Copy link
Collaborator

stonier commented Dec 22, 2020

actually, it would be preferable to use dsim.repos for the GitHub actions. I will create an issue for this

👍

@agalbachicar
Copy link
Collaborator Author

I am not sure why I cannot merge this PR. Github does not offer me the green button even with @jadecastro's approval. Requesting @francocipollone 's review.

@agalbachicar agalbachicar merged commit ce0a902 into master Dec 23, 2020
@agalbachicar agalbachicar deleted the agalbachicar/include_missing_dependency branch December 23, 2020 19:09
@scpeters
Copy link
Contributor

scpeters commented Jan 4, 2021

this was an oversight on my part in #152

actually, it would be preferable to use dsim.repos for the GitHub actions. I will create an issue for this

#159

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.

5 participants