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

Fix is_fragment_run page profile field #8670

Merged
merged 1 commit into from
May 15, 2024
Merged

Conversation

vdonato
Copy link
Collaborator

@vdonato vdonato commented May 15, 2024

It turns out setting the is_fragment_run field using whether ctx.current_fragment_id is set doesn't
work correctly since page profile messages are created after ctx.current_fragment_id has already
been reset. This PR fixes the field by instead setting it to true if the ctx.fragment_ids_this_run set is
truthy.

@vdonato
Copy link
Collaborator Author

vdonato commented May 15, 2024

Going to temporarily set the do-not-merge label on this one so that I don't accidentally click submit before @sfc-gh-amiribel has a chance to quickly test this

@kajarenc
Copy link
Collaborator

LGTM to merge after @ sfc-gh-amiribel checks!

@vdonato vdonato force-pushed the vdonato/fix/is_fragment_run branch from 784235c to 86107a0 Compare May 15, 2024 21:43
@vdonato vdonato merged commit ee35809 into develop May 15, 2024
38 of 39 checks passed
@vdonato vdonato deleted the vdonato/fix/is_fragment_run branch May 15, 2024 23:16
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.

None yet

3 participants