Jenkinsfile.build

2 years ago

misc: add Jenkins pipeline for build validation and deployment · 8e8d6586

Amin Bandali authored 2 years ago

* _build/Dockerfile.build: New Dockerfile for docs-build pipeline,
with the required tools for building the docs installed.
* _build/Jenkinsfile.build: New Jenkinsfile defining the docs-build
pipeline.

Change-Id: If50e687a5b9342eb2dcb5cb39e8a63db91f8616d

8e8d6586

History

misc: add Jenkins pipeline for build validation and deployment

Amin Bandali authored 2 years ago

* _build/Dockerfile.build: New Dockerfile for docs-build pipeline,
with the required tools for building the docs installed.
* _build/Jenkinsfile.build: New Jenkinsfile defining the docs-build
pipeline.

Change-Id: If50e687a5b9342eb2dcb5cb39e8a63db91f8616d

Code owners

Assign users and groups as approvers for specific file changes. Learn more.