From 1ff00c5ccfc7cc2a1690cc464223bb333a786549 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Thu, 12 May 2022 18:50:58 +0200
Subject: [PATCH] removed the fucking github thing

FUUUCK
---
 src/lib/test/main.c | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/src/lib/test/main.c b/src/lib/test/main.c
index 788c564..f4f970c 100644
--- a/src/lib/test/main.c
+++ b/src/lib/test/main.c
@@ -4,14 +4,13 @@
 
 #include <why2.h>
 
-int main(int argc, char *argv[])
+int main(void)
 {
     char *buffer;
-    int githubActions = argc == 2 && strcmp(argv[1], "--github") == 0; //THIS IS JUST SHIT FOR GITHUB ACTIONS (LOW RAM)
 
     inputFlags flags =
     {
-        githubActions, //SKIP CHECK
+        1, //SKIP CHECK
         0, //NO OUTPUT
     };
 
@@ -32,11 +31,8 @@ int main(int argc, char *argv[])
     }
 
     //DEALLOCATION
-    if (!githubActions)
-    {
-        free(buffer);
-        deallocateOutput(encrypted);
-    }
+    free(buffer);
+    deallocateOutput(encrypted);
 
     return 0;
 }