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, 1:21 PM
Parents
rCJSWH70e6f340e45a: jobs/tools: Add gitlab-jenkins-integration job
Branches
Unknown
Tags
Unknown