Skip to content
This repository was archived by the owner on May 9, 2024. It is now read-only.

Disable IR file metadata by default #642

Merged
merged 1 commit into from
Aug 19, 2023
Merged

Conversation

alexbaden
Copy link
Contributor

I find that this clutters the IR more than it helps. Does anyone use it?

Copy link
Contributor

@ienkovich ienkovich left a comment

Choose a reason for hiding this comment

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

It's reasonable to have a debug feature disabled by default. No trouble to enable it if you need it.

@alexbaden alexbaden merged commit 535783c into main Aug 19, 2023
@alexbaden alexbaden deleted the alex/disable_ir_metadata branch August 19, 2023 02:03
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants