diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 81d83ae..dfb25f3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -32,8 +32,9 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v1 - with: - submodules: true + - name: Checkout submodule + # Manually update submodules with --checkout because they are configured with update=none and will be skipped otherwise + run: git submodule update --recursive --init --force --checkout - name: Run generator run: cargo run -p generator - name: Diff autogen result diff --git a/.gitmodules b/.gitmodules index 8673d0a..f59e7f9 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,4 @@ [submodule "generator/Vulkan-Headers"] path = generator/Vulkan-Headers url = https://github.com/KhronosGroup/Vulkan-Headers + update = none