From 1aae6e26ca935fa423938fdb6421fc04f4d91f7f Mon Sep 17 00:00:00 2001 From: Vadim Zeitlin Date: Fri, 5 Feb 2021 18:56:27 +0100 Subject: [PATCH] Remove useless echo from GitHub CI script "Testing" is already shown as the step title. --- .github/workflows/ci.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f3d1c3bd31..1c073744f3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -181,7 +181,6 @@ jobs: - name: Testing if: matrix.skip_testing != true run: | - echo 'Testing...' pushd tests ./test || rc=$? popd