diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index be71b4e3..8ff9aae2 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -99,6 +99,9 @@ jobs: if [[ '${{ matrix.environment }}' != macos ]]; then dependency_sources+=(--deps-from="$GITHUB_WORKSPACE/.github/configs/ci-tooling.json:docs_binaries") fi + if [[ '${{ matrix.name }}' == ubuntu-AGENTS || '${{ matrix.name }}' == ubuntu-skills-archivebox-SKILL ]]; then + dependency_sources+=(--deps-from="$GITHUB_WORKSPACE/.github/configs/ci-linux-build.json:required_binaries") + fi if [[ '${{ matrix.environment }}' == docker ]]; then dependency_sources+=(--deps-from="$GITHUB_WORKSPACE/.github/configs/ci-tooling.json:docker_binaries") elif [[ '${{ matrix.environment }}' == macos ]]; then