HomeSoftware Heritage

jobs/tools: Add gitlab-jenkins-integration job

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

Description

jobs/tools: Add gitlab-jenkins-integration job

Details

Provenance
anlambertAuthored on Dec 14 2022, 4:36 PM
anlambertPushed on Dec 21 2022, 11:50 AM
Parents
rCJSWHaae3f2d1878e: jobs: Add gitlab triggerable jobs configuration for swh packages
Branches
Unknown
Tags
Unknown