Skip to content

fix(SPIRV-Tools)#9243

Merged
jhheider merged 1 commit intomainfrom
fix(SPIRV-Tools)
Apr 25, 2025
Merged

fix(SPIRV-Tools)#9243
jhheider merged 1 commit intomainfrom
fix(SPIRV-Tools)

Conversation

@jhheider
Copy link
Copy Markdown
Contributor

closes #9219

@jhheider jhheider merged commit e296090 into main Apr 25, 2025
5 checks passed
@jhheider jhheider deleted the fix(SPIRV-Tools) branch April 25, 2025 02:54
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.

❌ build issues: khronos.org/SPIRV-Tools=2024.4.0

1 participant