From c5b66aaf47e9807342f9bfc351151b60b4392b33 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Tue, 9 Sep 2025 09:38:40 +0000 Subject: [PATCH] Workaround sporadic git submodule failure This is to avoid sporadic failures when trying to download the fuzzing corpus for s2n-quic (a Kani submodule). See https://github.com/model-checking/kani/actions/runs/17577959149/job/49927516847?pr=4348 for an example of such a run. --- .github/actions/setup/action.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/actions/setup/action.yml b/.github/actions/setup/action.yml index 4adc7fd5f1e2..7e781d3c6f85 100644 --- a/.github/actions/setup/action.yml +++ b/.github/actions/setup/action.yml @@ -37,5 +37,7 @@ runs: run: | cd ${{ inputs.kani_dir }} git config --global --add safe.directory $(pwd) - git submodule update --init --depth 1 + # Workaround for occasionally failing to copy a file in s2n-quic that we + # don't actually care about + GIT_LFS_SKIP_SMUDGE=1 git submodule update --init --depth 1 shell: bash