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

Data flow: Order provenance output by textual representation #17887

Merged
merged 3 commits into from
Nov 7, 2024

Conversation

hvitved
Copy link
Contributor

@hvitved hvitved commented Nov 1, 2024

This PR changes the order of the modules output by ProvenancePathGraph.qll, so as to not rely on the order of the internal QlBuiltins::ExtensionId values.

@hvitved hvitved force-pushed the dataflow/provenance-order branch 2 times, most recently from b2d03c7 to 0b44a47 Compare November 1, 2024 10:34
@hvitved hvitved force-pushed the dataflow/provenance-order branch from 0b44a47 to b4681f9 Compare November 4, 2024 07:47
@hvitved hvitved force-pushed the dataflow/provenance-order branch from b4681f9 to 017e336 Compare November 4, 2024 10:33
@github-actions github-actions bot added the Kotlin label Nov 4, 2024
@hvitved hvitved force-pushed the dataflow/provenance-order branch from 017e336 to 95e9d01 Compare November 4, 2024 11:07
@hvitved hvitved marked this pull request as ready for review November 4, 2024 11:53
@hvitved hvitved requested review from a team as code owners November 4, 2024 11:53
@hvitved hvitved added the no-change-note-required This PR does not need a change note label Nov 4, 2024
@hvitved hvitved requested a review from aschackmull November 4, 2024 11:55
michaelnebel
michaelnebel previously approved these changes Nov 4, 2024
Copy link
Contributor

@michaelnebel michaelnebel left a comment

Choose a reason for hiding this comment

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

C# 👍

@hvitved hvitved merged commit a35a4b2 into github:main Nov 7, 2024
45 checks passed
@hvitved hvitved deleted the dataflow/provenance-order branch November 7, 2024 13:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants