diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2020-08-11 09:19:57 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2020-08-11 09:19:57 +0200 |
commit | 13a500f3dd773b3c795c1c097b71caa24d1daecc (patch) | |
tree | d12d6c55ba1434bc220e8d3df07e3ae0e51e1dbb /tools | |
parent | a59b147f516050b50fbeb4d55403b94c74bd6da3 (diff) | |
download | ocaml-13a500f3dd773b3c795c1c097b71caa24d1daecc.tar.gz |
tools/ci/inria/README.md: typographical improvements
Diffstat (limited to 'tools')
-rw-r--r-- | tools/ci/inria/README.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/ci/inria/README.md b/tools/ci/inria/README.md index 4e4535479d..8ade11237f 100644 --- a/tools/ci/inria/README.md +++ b/tools/ci/inria/README.md @@ -2,9 +2,9 @@ This directory contains the configuration files of the Jenkins jobs used to test OCaml on Inria's continuous integration infrastructure. Each subdirectory under `tools/ci/inria` corresponds to one CI job -and should contain at least a Jenkinsfile describing the pipeline +and should contain at least a `Jenkinsfile` describing the pipeline associated with this job(1). In addition, the job's directory can also -contain a script file specifying the commands used to actually execute +contain a `script` file specifying the commands used to actually execute the job. Other files may be included as appropriate. (1) The Jenkinsfiles can follow either the declarative syntax documented |