diff options
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 |