Skip to content

ci: enable merge queue and run Miri only in the queue - #11097

Open
blaginin wants to merge 4 commits into
apache:mainfrom
blaginin:db/arrow-rs-merge-queue
Open

blaginin wants to merge 4 commits into
apache:mainfrom
blaginin:db/arrow-rs-merge-queue

Conversation

@blaginin

@blaginin blaginin commented Sep 15, 2026

Copy link
Copy Markdown
Member

Add merge queue to arrow-rs and move miri to run there (and not on every push)

@alamb

alamb commented Sep 15, 2026

Copy link
Copy Markdown
Contributor

Merge up to get the fix for audit failure

@alamb

alamb commented Sep 15, 2026

Copy link
Copy Markdown
Contributor

Thank you @blaginin -- I will be honest that this looks much more complicated than I was expecting

Is there some reason not to just change MIRI to run on pushes to main and merge_queue? That way we would save them running on PRs. It would still run about 2x on each PR (though sometimes the merge_queue one could be shared)

@alamb alamb added the development-process Related to development process of arrow-rs label Sep 15, 2026
@blaginin

Copy link
Copy Markdown
Member Author

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

@Jefffrey

Copy link
Copy Markdown
Contributor

i wonder if we should try simplifying our CI routing first; for example, group parquet-variant checks into just parquet, and fix some triggers for parquet (i see theres a trigger for any arrow-avro changes but i dont think theres actually a dependency in code for this?)

i do agree this routing logic feels a bit heavy, especially given (as far as i understand) in comet its because they have a lot of heavy CI tasks so they need this granular dispatch, whilst for us here its mainly miri (and maybe the arrow integration) that are heavy

  • feel free to correct me if im wrong here, not as familiar with comets setup

with datafusion, did it not have this routing logic in the first place (before merge queue was implemented there)?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

development-process Related to development process of arrow-rs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

MIRI jobs consume a lot of GH runner action time Use a merge queue

3 participants