From 8486ee700e2b2ce47fbbf7394ce8afe7f023f338 Mon Sep 17 00:00:00 2001 From: Juan Ramos Date: Wed, 27 Sep 2023 14:20:50 -0600 Subject: [PATCH] ci: Ensure generated files are up to date closes #75 --- .github/workflows/ci.yml | 13 +++++++++++++ scripts/generate_source.py | 0 2 files changed, 13 insertions(+) mode change 100644 => 100755 scripts/generate_source.py diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8132d6c..70fe283 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -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 diff --git a/scripts/generate_source.py b/scripts/generate_source.py old mode 100644 new mode 100755