add fail_if_banned_files

.gitlab-ci.yml

@@ -7,6 +7,20 @@ stages:
 variables:
   GIT_DEPTH: "1"
 
+fail_if_banned_files:
+  stage: prepare
+  dependencies: []
+  tags:
+    - linux
+  script: |
+    banned_files=(script/procedure.lua script/utility.lua script/constant.lua)
+    for file in "${banned_files[@]}"; do
+      if [ -f "$file" ]; then
+        echo "Banned file found: $file"
+        exit 1
+      fi
+    done
+
 merge_databases:
   stage: prepare
   dependencies: []