Skip to content

Update SPIRV DEPS#1036

Closed
rjodinchr wants to merge 1 commit intogoogle:mainfrom
rjodinchr:main
Closed

Update SPIRV DEPS#1036
rjodinchr wants to merge 1 commit intogoogle:mainfrom
rjodinchr:main

Conversation

@rjodinchr
Copy link
Contributor

It aims at fixing clspv github CI

It aims at fixing clspv github CI
@rjodinchr
Copy link
Contributor Author

@alan-baker @dneto0 could you review this PR please?

@rjodinchr
Copy link
Contributor Author

closed in favor of #1037

@rjodinchr rjodinchr closed this May 12, 2024
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.

3 participants