Echo which downloader is used during CI process

Author: XiangRongLin

.github/workflows/ci.yml

@@ -32,7 +32,9 @@ jobs:
       - name: Build and run Tests
         run: |
           if [[ $GITHUB_EVENT_NAME == 'schedule' ]]; then
+            echo running with real downloader
             ./gradlew check --stacktrace -Ddownloader=REAL
           else
+            echo running with mock downloader
             ./gradlew check --stacktrace -Ddownloader=MOCK
           fi