Commit 1203ee3b authored by Torsten Grote's avatar Torsten Grote

Remove explicit docker pull from README as it is done automatically

if the image is missing
parent df8e7f7c
......@@ -55,14 +55,10 @@ and continue once it is installed.
If you trust that our pre-built Docker image was build exactly from *its* source,
you can use it for faster verification.
If not, you can skip to the next section to build the image yourself.
Then you are just trusting the official `debian:stable` which is out of our control.
If not, you can read the next section to learn how to build the image yourself.
Then you are only trusting the official `debian:stable` which is out of our control.
To use our image without building it yourself, you can just pull it from Docker Hub:
docker pull briar/reproducer:latest
Now you can skip the next section and move to *Run the verification*.
Otherwise, you can skip the next section and move directly to *Run the verification*.
### Building your own image
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment