rename

rkaminsk · Jul 12, 2024 · 8ca50ea · 8ca50ea
1 parent 445fe93
commit 8ca50ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -7,7 +7,7 @@ on:
 
 jobs:
   host:
-    name: clingo ${{ matrix.python-version }} ${{ matrix.os }}
+    name: host ${{ matrix.python-version }} ${{ matrix.os }}
     runs-on: ${{ matrix.os }}
     strategy:
       fail-fast: false