diff options
| author | Gaëtan Gilbert | 2020-03-13 13:24:46 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-03-13 13:24:46 +0100 |
| commit | 356ce6ddfde3bbf355be5ec4158dfa07704dd4c1 (patch) | |
| tree | d14c98759896f48f0dbbe6aadb777a4403d53ea2 /dev/ci | |
| parent | e14f12e35a303b4c07963521a132b735734561f9 (diff) | |
| parent | c9953e36ef380916ee805b8550439868e615921c (diff) | |
Merge PR #11815: [ci] [doc] Point to actual docker instructions.
Reviewed-by: SkySkimmer
Diffstat (limited to 'dev/ci')
| -rw-r--r-- | dev/ci/README-users.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dev/ci/README-users.md b/dev/ci/README-users.md index 6649820f22..994ff87674 100644 --- a/dev/ci/README-users.md +++ b/dev/ci/README-users.md @@ -105,5 +105,10 @@ images for testing against Coq master. Using these images is highly recommended: - For Docker, see: https://github.com/coq-community/docker-coq + + The https://github.com/coq-community/docker-coq/wiki/CI-setup wiki + page contains additional information and templates to help setting + Docker-based CI up for your Coq project + - For Nix, see the setup at https://github.com/coq-community/manifesto/wiki/Continuous-Integration-with-Nix |