Update submodules indepently ci

pull/517/head
mcbarton 6 months ago committed by GitHub
parent 5a3567a56a
commit 32b1d5a528
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -7,10 +7,14 @@ runs:
- run: git fetch --tags --force
name: Force-fetch tags to work around actions/checkout#290
shell: bash
# We can't use `--depth 1` here sadly because the GNU config
# submodule is not pinned to a particular tag/branch. Please
# We can't use `--depth 1` for the GNU config submodule
# here sadly because is not pinned to a particular tag/branch. Please
# bump depth (or even better, the submodule), in case of "error:
# Server does not allow request for unadvertised object" in the
# future.
- run: git submodule update --init --depth 64 --jobs 3
- run: |
git submodule update --init --depth 64 src/config
git submodule update --init --depth 1 src/llvm-project
git submodule update --init --depth 1 src/wasi-libc
shell: bash

Loading…
Cancel
Save