Skip to content

have get-platforms return the available input projects#100

Merged
jhheider merged 3 commits intomainfrom
make-available-better
Apr 30, 2023
Merged

have get-platforms return the available input projects#100
jhheider merged 3 commits intomainfrom
make-available-better

Conversation

@jhheider
Copy link
Contributor

instead of just killing the run if some can still be built.

requires pkgxdev/pantry#1739

@jhheider jhheider marked this pull request as ready for review April 30, 2023 01:42
@jhheider jhheider merged commit 1c3acc7 into main Apr 30, 2023
@jhheider jhheider deleted the make-available-better branch April 30, 2023 01:43
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.

1 participant