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

handle iden derived images #1092

Closed
wants to merge 1 commit into from
Closed

Conversation

bradh
Copy link
Contributor

@bradh bradh commented Jan 6, 2024

Equivalent to #1091. I'm looking for more CI coverage.

@bradh bradh force-pushed the iden_master branch 3 times, most recently from 727b4b2 to 90b401b Compare January 8, 2024 22:03
@bradh bradh force-pushed the iden_master branch 2 times, most recently from 22a3227 to dbc66c9 Compare January 17, 2024 03:28
@bradh
Copy link
Contributor Author

bradh commented Jan 17, 2024

Closing now #1091 is ready.

@farindk farindk closed this Jan 17, 2024
@bradh bradh deleted the iden_master branch January 17, 2024 21:38
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