diff --git a/src/test/md_file_tests.ml b/src/test/md_file_tests.ml index 908f6ccd0..833769f32 100644 --- a/src/test/md_file_tests.ml +++ b/src/test/md_file_tests.ml @@ -125,6 +125,7 @@ let md_files = [ "/gitlab-pages/docs/reference/set.md"; "/gitlab-pages/docs/reference/big_map.md"; "/gitlab-pages/docs/reference/string.md"; + "/gitlab-pages/docs/reference/crypto.md"; ] let md_root = "../../gitlab-pages/docs/language-basics/"