From c383f4868f00a0b0d5978019ee89c45d74e46fd1 Mon Sep 17 00:00:00 2001 From: Chris Bachhuber Date: Tue, 9 Jul 2024 12:59:43 +0200 Subject: [PATCH] Commentary: Mention docker hub explicitly (#5241) --- ci/docker/run/README.rst | 5 +++-- docs/CONTRIBUTORS | 1 + 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/ci/docker/run/README.rst b/ci/docker/run/README.rst index 347af0482..77cb1adf6 100644 --- a/ci/docker/run/README.rst +++ b/ci/docker/run/README.rst @@ -11,10 +11,11 @@ easily as a docker image, e.g.: docker run -ti verilator/verilator:latest --version -This will install the container, run the latest Verilator and print +This will pull the container from `docker hub +`_, run the latest Verilator and print Verilator's version. -Containers are automatically built for all released versions, so you may +Containers are automatically built and pushed to docker hub for all released versions, so you may easily compare results across versions, e.g.: :: diff --git a/docs/CONTRIBUTORS b/docs/CONTRIBUTORS index 66b9bb95d..d2d69afea 100644 --- a/docs/CONTRIBUTORS +++ b/docs/CONTRIBUTORS @@ -25,6 +25,7 @@ Aylon Chaim Porat Bartłomiej Chmiel Cameron Kirk Chih-Mao Chen +Chris Bachhuber Chris Randall Christopher Taylor Chuxuan Wang