From 2e79bbb38f4b1c31efad548c458251b4aee1ad42 Mon Sep 17 00:00:00 2001
From: Orestis Melkonian <melkon.or@gmail.com>
Date: Fri, 27 Feb 2026 16:17:50 +0000
Subject: [PATCH] CI: fix CertiRocq evaluation

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 0c76345..ee87033 100644
--- a/Makefile
+++ b/Makefile
@@ -20,10 +20,10 @@ coq:
 gen: test
 	make -C test gen
 
-run: test
+run: coq test
 	make -C test run
 
-html: test
+html: coq test
 	make -C test html
 
 clean: