Преглед на файлове

[CI] Remove clean-check scripts from ignore list

Simon Gaiser преди 4 години
родител
ревизия
2316c6fb52
променени са 1 файла, в които са добавени 0 реда и са изтрити 3 реда
  1. 0 3
      .ci/prfilter

+ 0 - 3
.ci/prfilter

@@ -46,9 +46,6 @@ THE_BIG_LIST_OF_NAUGHTY_FILES = list(map(pathlib.Path, [
     'Pal/src/host/Linux-SGX/debugger/gdb',
     'Pal/src/host/Linux-SGX/sgx-driver/load.sh',
     'Runtime/pal_loader',
-    'Scripts/clean-check',
-    'Scripts/clean-check-prepare',
-    'Scripts/clean-check-test-copy',
     'Scripts/list-all-graphene.sh',
     'Scripts/memusg',
     '.ci/run-pylint',