Fix name casing in 'main' GitHub workflow, for consistency.

TNO · Dec 6, 2023 · fed7c36 · fed7c36
1 parent 63ff5c1
commit fed7c36
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build_main.yml b/.github/workflows/build_main.yml
@@ -47,7 +47,7 @@ jobs:
         sudo apt-get install -y mcrl2
     - name: Build with Maven
       run: mvn verify --batch-mode --update-snapshots --fail-at-end --file pom.xml -Dmids.version.qualifier=$(./releng/versionQualifier.sh)
-    - name: Attach Test Report
+    - name: Attach test report
       if: success() || failure()
       uses: scacap/action-surefire-report@v1
     - name: Attach website