From d50e653ed0a5d8398b2ef40571afd9e26c7e616c Mon Sep 17 00:00:00 2001 From: Silvio Traversaro Date: Mon, 14 Dec 2020 16:19:59 +0100 Subject: [PATCH] Fix CI --- .github/workflows/ci.yml | 6 ------ 1 file changed, 6 deletions(-) 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