Update ci.yaml

jdutant · jdutant · commit 8668d4a7c493 · 2025-05-27T13:35:18.000+01:00
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -42,4 +42,4 @@ jobs:
         run: apk add make
 
       - name: Test
-        run: make test BUILD=false
+        run: make ptest BUILD=false
