Skip to content

[UI] Fix ===== Initial IR ===== header#26

Merged
MrSidims merged 1 commit intomainfrom
fix-initial-ir
May 22, 2025
Merged

[UI] Fix ===== Initial IR ===== header#26
MrSidims merged 1 commit intomainfrom
fix-initial-ir

Conversation

@MrSidims
Copy link
Owner

It started to present in the output by default after the previous patch.

It started to present in the output by default after the previous patch.
@MrSidims MrSidims merged commit f6ec0cc into main May 22, 2025
5 checks passed
@MrSidims MrSidims deleted the fix-initial-ir branch May 22, 2025 23:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant