diff --git a/.github/workflows/why2-core-test.yml b/.github/workflows/why2-core-test.yml
index c949f2b..df2b1e2 100644
--- a/.github/workflows/why2-core-test.yml
+++ b/.github/workflows/why2-core-test.yml
@@ -1,4 +1,4 @@
-name: Test WHY2
+name: Test WHY2-core
 
 on:
   push:
@@ -16,7 +16,7 @@ jobs:
         os:  [ ubuntu-latest ]
         include:
           - os: ubuntu-latest
-            output: out/why2-test
+            output: out/why2-core-test
             configure: configure.sh
             app: why2