diff --git a/docs/build_notebooks.jl b/docs/build_notebooks.jl index 730ee2a..eae25dc 100644 --- a/docs/build_notebooks.jl +++ b/docs/build_notebooks.jl @@ -28,6 +28,9 @@ function parse_rst(filename) if startswith(line, "Failed:") res["status"] = 1 end + if startswith(line, "Failure") + res["status"] = 1 + end m = matchall(r"[-0-9.]+", line) end end