ci: Add verification step for generated source

This check ensures that the committed generated source files match the
output of the committed generators. We used to have this check on
TravisCI, but it must have gotten lost in the transition to GitHub
Actions.

Change-Id: If6a27994b3bfe8dbd09a962d90cc0c528489bd93

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 5503e57..5a1e630 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -60,6 +60,9 @@ jobs:
             - name: Build the tools
               run: make -C build
 
+            - name: Verify generated source files
+              run: python scripts/generate_source.py --verify external/Vulkan-Headers/registry
+
     windows:
         runs-on: ${{matrix.os}}
 
@@ -85,6 +88,9 @@ jobs:
             - name: Build the tools
               run: cmake --build ./build --config ${{matrix.config}}
 
+            - name: Verify generated source files
+              run: python scripts/generate_source.py --verify external/Vulkan-Headers/registry
+
     mac:
         runs-on: macos-latest
 
@@ -107,6 +113,9 @@ jobs:
             - name: Build the tools
               run: make -C build
 
+            - name: Verify generated source files
+              run: python scripts/generate_source.py --verify external/Vulkan-Headers/registry
+
     gn:
         runs-on: ubuntu-18.04
 
@@ -133,4 +142,4 @@ jobs:
               if: matrix.config == 'Release'
 
             - name: Build the tools
-              run: ninja -C out/${{matrix.config}}
\ No newline at end of file
+              run: ninja -C out/${{matrix.config}}