HomeSoftware Heritage

jobs/tools: Add jenkins-jobs-builder job

This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Description

jobs/tools: Add jenkins-jobs-builder job

Details

Provenance
anlambertAuthored on Dec 14 2022, 3:44 PM
anlambertPushed on Dec 21 2022, 5:29 PM
Parents
rCJSWH6a0527ce8864: jobs/tools: Add gitlab-jenkins-integration job
Branches
Unknown
Tags
Unknown