remove part with extra CI policy

near · Feb 14, 2024 · d2b36de · d2b36de
1 parent bdc8725
commit d2b36de
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/docs/zkasm/test-infra.md b/docs/zkasm/test-infra.md
@@ -48,11 +48,6 @@ Firstly, test infra parses whole `.clif` file (different `.clif` files are parse
 
 Probably, we will add some new test types, for example, test type which takes wasm code and executes it in interpreter.
 
-# CI policy
-
-In CI we have two types of tests. One of them are written\generated by us, or adopted from existing tests and we expect that each PR passes 100% of this tests. Also, we run all tests in `filetests/filtests/runtests` as well, but don't expect all of them pass. If some test have `pass` status in main branch, and other status in the incoming branch, our CI will post a message with this diff in PR discussion, and author with reviewers will decide merge this PR or not. During project development, tests will gradually migrate from second category to the first one.
-
-
 # Decisions to think
 
 ## One zkasm program per file