diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7fe0f33c1..1e0432616 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -95,12 +95,6 @@ jobs: project_tags_cmake_options: "-DROBOTOLOGY_PROJECT_TAGS=Custom -DROBOTOLOGY_PROJECT_TAGS_CUSTOM_FILE=${GITHUB_WORKSPACE}/releases/2020.08.yaml" steps: - uses: actions/checkout@master - - # Workaround for https://github.com/actions/virtual-environments/issues/10 - - name: Avoid to use GitHub Actions-installed boost - shell: bash - run: | - echo "::set-env name=BOOST_ROOT::" # Print environment variables to simplify development and debugging - name: Environment Variables