mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2024-11-22 03:30:06 +00:00
4683eab649
Adding a github action to open a PR when the DEPS can be updated. It will run once a day or it can be manually triggered. I updated roll_deps.sh so that it will not return an error if there were no new commits for a repository. |
||
---|---|---|
.. | ||
vscode | ||
check_code_format.sh | ||
check_copyright.py | ||
check_symbol_exports.py | ||
fixup_fuzz_result.py | ||
generate_grammar_tables.py | ||
generate_language_headers.py | ||
generate_registry_tables.py | ||
generate_vim_syntax.py | ||
git-sync-deps | ||
roll_deps.sh | ||
update_build_version.py |