Merge branch 'master' into coverage

Author: pashidlos

.github/workflows/gradle.yml

@@ -25,7 +25,7 @@ jobs:
     - name: Grant execute permission for gradlew
       run: chmod +x gradlew
 
-    - name: Build with Gradle
+    - name: Gradle check
       run: ./gradlew check
 
     - name: Codecov