Minor change in Github workflow name.

2026-10-11 22:49:58 +00:00 · 2021-09-30 19:21:17 +02:00
parent c1d4878e42
commit b1c2b40d11
1 changed files with 1 additions and 1 deletions
@@ -34,7 +34,7 @@ jobs:
        run: make clean && make
      - name: Run tests
        run: make check
-      - name: Print test logs
+      - name: Print tests errors
        if: ${{ failure() }}
        run: cat test-suite.log