CI: add verified C client tests

project-everest · Nov 22, 2024 · a517db7 · a517db7
1 parent 0e5ceac
commit a517db7
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -63,11 +63,16 @@ cbor: lowparse-pulse
 cbor-det-c-test: cbor
 	+$(MAKE) -C src/cbor/pulse/det/c/test
 
+cbor-det-c-vertest: cbor
+	+$(MAKE) -C src/cbor/pulse/det/vertest/c
+
+.PHONY: cbor-det-c-vertest
+
 # NOTE: I wish we could use `cargo -C ...` but see https://github.com/rust-lang/cargo/pull/11960
 cbor-det-rust-test: cbor
 	+cd src/cbor/pulse/det/rust && cargo test
 
-cbor-test: cbor-det-c-test cbor-det-rust-test
+cbor-test: cbor-det-c-test cbor-det-rust-test cbor-det-c-vertest
 
 cddl: cbor
 	+$(MAKE) -C src/cddl