mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2025-01-13 01:40:14 +00:00
9c9144b65c
Thought `content` permission was enough to create (not merge) PRs, but turns out the `pull-request` permission is also required. This should unblock the bot. Signed-off-by: Nathan Gauër <brioche@google.com> |
||
---|---|---|
.. | ||
autoroll.yml | ||
bazel.yml | ||
release.yml | ||
wasm.yml |