rm -r "maven-local/$MAVEN_DIR"
          else
            tar xzf maven-dist/apache-maven-*-bin.tar.gz -C maven-local --strip-components 1
          fi
          echo "MAVEN_HOME=$PWD/maven-local" >> $GITHUB_ENV
          echo "$PWD/maven-local/bin" >> $GITHUB_PATH

      - name: Build with downloaded Maven
        shell: bash
        run: mvn verify -Papache-release -Dgpg.skip=true -e -B -V

    }

    protected void pushCoreProperties(C context) throws Exception {
        System.setProperty(
                Constants.MAVEN_HOME,
                context.invokerRequest.installationDirectory().toString());
    }

    /**
     * Note: this method is called twice from {@link #doInvoke(LookupContext)} and modifies context. First invocation