diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6a74aac..91543ae 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -81,6 +81,7 @@ jobs: cd .. git clone -b $BOOST_BRANCH --depth 10 https://github.com/boostorg/boost.git boost-root cd boost-root + rm -rf libs/$LIBRARY/* cp -r $GITHUB_WORKSPACE/* libs/$LIBRARY git submodule update --init --depth 10 --jobs 2 tools/boostdep tools/inspect libs/filesystem python tools/boostdep/depinst/depinst.py --git_args "--depth 10 --jobs 3" filesystem