From 8df3d31c5aadf7ec8b129ee0422f9586f51a9d27 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 20 Jul 2022 13:56:27 +0200
Subject: [PATCH] [ci] restore check TS API

---
 .gitlab-ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index cb7e614039b..0b6741c50f8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -83,6 +83,10 @@ ivette:
 ################################################################################
 ### TESTS
 
+check-ts-api:
+  stage: tests
+  script:
+    - ./nix/build-proxy.sh ts-api
 
 e-acsl-tests:
   stage: tests
-- 
GitLab