Update permissions.

.github/workflows/run-test.yml

@@ -2,6 +2,24 @@ name: Tests
 
 on:
   pull_request:
+  push:
+    branches:
+      - "develop"
+      - "main"
+  schedule:
+    # Run twice a day the sanity check, at 9:13 and 21:13.
+    # You ask why 13? because probably less people schedule their tasks at exactly this time, so I
+    # guess CI is less occupied. And 13 is a lucky number ;)
+    - cron: "13 9,21 * * *"
+
+concurrency:
+  group: ${{ github.ref }}-${{ github.workflow }}
+  cancel-in-progress: true
+
+permissions:
+  contents: read
+  actions: read
+  checks: write
 
 jobs:
   unit-tests:

module-jacoco.gradle

@@ -25,7 +25,6 @@ tasks.register('codeCoverage', JacocoReport) {
     )
 
     sourceDirectories.setFrom(
-            fileTree(dir: "${buildDir}/test-results/instrumentation_results", includes: ['*.ec']),
             fileTree(dir: project.projectDir, includes: ["src/main/java/**", "src/main/kotlin/**"])
     )