From 45afe8443a728e9032651344be29b5d37c7bd60d Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Sun, 18 Feb 2024 11:25:31 +0100
Subject: [PATCH] ci typos fix

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f5533c0..60c2b12 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -47,5 +47,5 @@ why2-core-test:
     - make install BYPASS_CHECK=true # Install WHY2
     - make test_core # Build WHY2 Test
     - ./$CORE_OUTPUT # Test Lib
-    - $APP # Test App
-    - $VALGRIND $APP # Test Lib by Valgrind
\ No newline at end of file
+    - $CORE_APP # Test App
+    - $VALGRIND $CORE_OUTPUT # Test Lib by Valgrind
\ No newline at end of file