ci: Ensure generated files are up to date

closes #75
This commit is contained in:
Juan Ramos 2023-09-27 14:20:50 -06:00 committed by Juan Ramos
parent 7b779960f1
commit 8486ee700e
2 changed files with 13 additions and 0 deletions

View file

@ -90,3 +90,16 @@ jobs:
run: sudo apt-get -qq update && sudo apt-get install -y libwayland-dev xorg-dev
- name: Test chromium build
run: python scripts/gn/gn.py
generate_source:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v4
with:
python-version: '3.10'
- name: Generate source
run: |
scripts/update_deps.py --dir external --no-build
scripts/generate_source.py external/Vulkan-Headers/registry/
- run: git diff --exit-code

0
scripts/generate_source.py Normal file → Executable file
View file