Skip to content
Succès

Changes

Summary

  1. Fix a bug in the pipelines of web site publishing and of Test Docker (details)
Commit 8a0d3ce782b38775dd46ac42696f4cf35a5cfd36 by Miguel Moquillon
Fix a bug in the pipelines of web site publishing and of Test Docker
image building
The file was modifiedsrc/builds/project-doc/Jenkinsfile (diff)
The file was modifiedsrc/builds/docker-build/Jenkinsfile (diff)
The file was modifiedsrc/builds/docker-test/Jenkinsfile (diff)