diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 91543ae..e5d57fb 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -81,10 +81,10 @@ 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 + rm -rf libs/$LIBRARY/* + cp -r $GITHUB_WORKSPACE/* libs/$LIBRARY python tools/boostdep/depinst/depinst.py --git_args "--depth 10 --jobs 3" $LIBRARY ./bootstrap.sh ./b2 -d0 headers