pyre analyze erroring out

[Lost-little-dinosaur]

Pyre Bug

Bug description when I run " pyre analyze" in exercise1's cmd，it gives me an error

Reproduction steps

ƛ Could not find a suitable typeshed. Types for Python builtins and standard libraries may be missing!
ƛ Found 1 model verification error!
sources_sinks.pysa:3:0 `eval` is not part of the environment, no module `eval` in search path.

[Lost-little-dinosaur]

also, I want to try the dockerfile at the "pysa_tutorial" dir, then I got this error: I don't know why, Is Dockerfile shoud be able to run sucessfully whenever and wherever? It is my problem or yours?

[Peteling]

I also have this problem. It seems dockerfile in this project is unstable.It is annoying.