Skip to content

chore: update bundled specs, headers, and provenance#76

Open
github-actions[bot] wants to merge 1 commit into
masterfrom
update-bundled-xml
Open

chore: update bundled specs, headers, and provenance#76
github-actions[bot] wants to merge 1 commit into
masterfrom
update-bundled-xml

Conversation

@github-actions

@github-actions github-actions Bot commented Jun 8, 2026

Copy link
Copy Markdown

Automated weekly refresh of bundled/ (XML specs, auxiliary
headers, and bundled/provenance.json) via cargo xtask bundle.

The build and test suite passed against the new files before this
PR was opened.

Pinned upstream sources

  • Cyan4973/xxHash @ e573d4d (commit e573d4d2aaea)
  • KhronosGroup/EGL-Registry @ 3d7796b (commit 3d7796b3721d)
  • KhronosGroup/OpenGL-Registry @ 9d527db (commit 9d527dbc81bb)
  • KhronosGroup/Vulkan-Docs @ v1.4.354 (commit ea5259d68356)
  • KhronosGroup/Vulkan-Headers @ v1.4.354 (commit 01393c3df0e5)
  • google/angle @ 28262f1 (commit 28262f144abb)
  • tycho/gloam @ 0.4.11 (commit 0c8ced3)

Per-file blob hashes and exact commits are recorded in
bundled/provenance.json; review its diff to see precisely what
moved.

@github-actions github-actions Bot added the dependencies Pull requests that update a dependency file label Jun 8, 2026
@github-actions github-actions Bot force-pushed the update-bundled-xml branch from 9cf0bd1 to 0d70d3c Compare June 15, 2026 06:50
Refresh bundled/ from upstream via `cargo xtask bundle`.

Pinned upstream sources:
- `Cyan4973/xxHash` @ `e573d4d` (commit e573d4d2aaea)
- `KhronosGroup/EGL-Registry` @ `3d7796b` (commit 3d7796b3721d)
- `KhronosGroup/OpenGL-Registry` @ `9d527db` (commit 9d527dbc81bb)
- `KhronosGroup/Vulkan-Docs` @ `v1.4.354` (commit ea5259d68356)
- `KhronosGroup/Vulkan-Headers` @ `v1.4.354` (commit 01393c3df0e5)
- `google/angle` @ `28262f1` (commit 28262f144abb)
- `tycho/gloam` @ `0.4.11` (commit 0c8ced3)
@github-actions github-actions Bot force-pushed the update-bundled-xml branch from 0d70d3c to ab3ed5a Compare June 22, 2026 06:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant