diff options
Diffstat (limited to 'dev/ci/README-users.md')
| -rw-r--r-- | dev/ci/README-users.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/ci/README-users.md b/dev/ci/README-users.md index f606f43fd5..01769aeddb 100644 --- a/dev/ci/README-users.md +++ b/dev/ci/README-users.md @@ -76,7 +76,7 @@ developer commands work more seamlessly. ### Supported CI images for Coq -The Coq developers and contributors do provide official Docker and Nix +The Coq developers and contributors provide official Docker and Nix images for testing against Coq master. Using these images is highly recommended: |