diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index cb7e614039b66612916a5bd8753251748750363b..0b6741c50f8aebed3ed4b794219eb8f0fc1e1f66 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