Skip to content

Conversation

@szymon-rd
Copy link
Contributor

Resolves #18708

@szymon-rd szymon-rd force-pushed the merge-linting-phases branch from 61fa799 to 2d182de Compare October 31, 2023 12:17
@mbovel
Copy link
Member

mbovel commented Oct 22, 2024

We were wondering if these two phases could be merged during yesterday's spree. Digging further I found the original comments describing why they are not: #17622 (comment) and #17622 (comment), and this PR.

I see that only community build C failed. Would you happen to remember why @szymon-rd?

Otherwise, should I try to rebase and re-run the CI?

@som-snytt
Copy link
Contributor

som-snytt commented Oct 22, 2024

This is done in c735461

PR #20894

That commit has a test.

@mbovel
Copy link
Member

mbovel commented Oct 22, 2024

Ah, mega cool, thanks!

Let's close this PR then.

@mbovel mbovel closed this Oct 22, 2024
@mbovel mbovel deleted the merge-linting-phases branch October 22, 2024 14:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

4 participants