From 87d1bd33dbd70bbd95113fc8784303c7730db00d Mon Sep 17 00:00:00 2001
From: savalet <savinien.petitjean@gmail.com>
Date: Fri, 11 Apr 2025 19:34:05 +0200
Subject: [PATCH] Remove banned func check in CI

---
 .github/workflows/main.yml | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 8e7c92c..2988282 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -55,11 +55,6 @@ jobs:
       - name: Build project
         run: make
 
-      - name: Check for banned functions
-        run: |
-          nix run github:Dawoox/efc -- \
-            ./mysh \
-            ./afunc.txt
 
   sync_repository:
     needs: [ check_the_repository_state ]