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.

Sign up for GitHub

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

Jump to bottom

Copy headers into build dir at build time #5547

Merged
merged 2 commits into from
Nov 14, 2024
Merged

Copy headers into build dir at build time #5547

merged 2 commits into from
Nov 14, 2024

Conversation

expipiplus1
Copy link
Collaborator

@expipiplus1 expipiplus1 added the pr: non-breaking PRs without breaking changes label Nov 13, 2024
@expipiplus1 expipiplus1 added this to the Q1 2025 (Winter) milestone Nov 13, 2024
@expipiplus1 expipiplus1 self-assigned this Nov 13, 2024
@expipiplus1 expipiplus1 requested a review from a team as a code owner November 13, 2024 07:59
jkwak-work
jkwak-work approved these changes Nov 13, 2024
View reviewed changes
Copy link
Collaborator

@jkwak-work jkwak-work left a comment

Choose a reason for hiding this comment

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

Looks good to me.

@expipiplus1 expipiplus1 merged commit 5948326 into shader-slang:master Nov 14, 2024
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jkwak-work jkwak-work jkwak-work approved these changes

Assignees

@expipiplus1 expipiplus1

Labels
pr: non-breaking PRs without breaking changes
Projects
None yet
Milestone
Q1 2025 (Winter)
Development

Successfully merging this pull request may close these issues.
2 participants
@expipiplus1 @jkwak-work