Skip to content

Conversation

@cardoe
Copy link
Contributor

@cardoe cardoe commented Nov 7, 2024

We should be building their containers when things are merged into main and cleaning them up on PRs being closed.

@cardoe cardoe requested a review from a team November 7, 2024 18:26
We should be building their containers when things are merged into main
and cleaning them up on PRs being closed.
@cardoe cardoe force-pushed the fix-container-build branch from a4b3cd2 to 1e73d82 Compare November 7, 2024 18:28
@mfencik mfencik added this pull request to the merge queue Nov 7, 2024
Merged via the queue into main with commit 73d9a22 Nov 7, 2024
20 checks passed
@mfencik mfencik deleted the fix-container-build branch November 7, 2024 20:22
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.

3 participants