.github/workflows/codacy.yml

@@ -27,7 +27,7 @@ permissions:
 
 jobs:
   codacy-security-scan:
-    if: github.repository == 'ENGO150/WHY2'
+    if: github.repository == "ENGO150/WHY2"
     permissions:
       contents: read
       security-events: write

.gitlab-ci.yml

@@ -22,6 +22,7 @@ variables:
   LOGGER_OUTPUT: "./out/why2-logger-test"
   LOGGER_APP: "why2-logger"
   VALGRIND: "valgrind --leak-check=full --show-leak-kinds=reachable --track-origins=yes -s"
+  GDB: "gdb -ex \"run\" -ex \"quit\" --batch"
   CONFIGURE: "./configure.sh"
   NEEDED_STUFF: "sudo lsb-release gdb"
 
@@ -50,8 +51,8 @@ why2-core-test:
     - sudo $CONFIGURE # Preparation
     - make install BYPASS_CHECK=true # Install WHY2
     - make test_core # Build WHY2 Test
-    - gdb -ex "run" -ex "quit" --batch $CORE_OUTPUT # Test Lib
-    - gdb -ex "run" -ex "quit" --batch $CORE_APP # Test App
+    - ${GDB} $CORE_OUTPUT # Test Lib
+    - ${GDB} $CORE_APP # Test App
     - $VALGRIND $CORE_OUTPUT # Test Lib by Valgrind
 
 why2-logger-test:
@@ -64,8 +65,8 @@ why2-logger-test:
     - sudo $CONFIGURE # Preparation
     - make install BYPASS_CHECK=true # Install WHY2
     - make test_logger # Build WHY2 Test
-    - gdb -ex "run" -ex "quit" --batch $LOGGER_OUTPUT # Test Lib
-    - gdb -ex "run" -ex "quit" --batch $LOGGER_APP # Test App
+    - ${GDB} $LOGGER_OUTPUT # Test Lib
+    - ${GDB} $LOGGER_APP # Test App
     - $VALGRIND $LOGGER_OUTPUT # Test Lib by Valgrind
 
 why2-project: