From c6e48f4bea903c08a99b4f5f6b91f30652155786 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Thu, 12 Feb 2026 14:06:08 +0100
Subject: [PATCH] These are tests from other Makefile

---
 .github/workflows/test-build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test-build.yml b/.github/workflows/test-build.yml
index 06eb8187c..2a870cd29 100644
--- a/.github/workflows/test-build.yml
+++ b/.github/workflows/test-build.yml
@@ -220,7 +220,7 @@ jobs:
       - name: Run tests
         shell: bash
         run: |
-          make -C docs vanilla-test -j$procs
+          make -C docs test -j$procs
 
   test-docs-build:
     name: Try build docs