Skip to content

Update to header v1.4.353#1227

Merged
mikes-lunarg merged 1 commit into
mainfrom
__header_bot-v1.4.353
Jun 5, 2026
Merged

Update to header v1.4.353#1227
mikes-lunarg merged 1 commit into
mainfrom
__header_bot-v1.4.353

Conversation

@mikes-lunarg

Copy link
Copy Markdown
Contributor

No description provided.

@charles-lunarg charles-lunarg left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Uhhh seems like the vulkaninfo file was deleted by accident.

@mikes-lunarg mikes-lunarg force-pushed the __header_bot-v1.4.353 branch from 591474e to 7171127 Compare June 5, 2026 19:16
@mikes-lunarg

Copy link
Copy Markdown
Contributor Author

Uhhh seems like the vulkaninfo file was deleted by accident.

Not really an accident, but codegen was crashing after opening the output file and the header bot was happy to commit an empty file.

Comment thread scripts/generators/vulkaninfo_generator.py
@mikes-lunarg mikes-lunarg force-pushed the __header_bot-v1.4.353 branch from 7171127 to 7524f14 Compare June 5, 2026 19:29
@mikes-lunarg mikes-lunarg merged commit 68749ea into main Jun 5, 2026
28 checks passed
@mikes-lunarg mikes-lunarg deleted the __header_bot-v1.4.353 branch June 5, 2026 20:03
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.

2 participants