tools/ci/inria/README.md: typographical improvements

master
Sébastien Hinderer 2020-08-11 09:19:57 +02:00
parent a59b147f51
commit 13a500f3dd
1 changed files with 2 additions and 2 deletions

View File

@ -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