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, 1:36 PM
Parents
rCJSWHf3ecf9b38ce9: jobs: Add gitlab triggerable jobs configuration for swh packages
Branches
Unknown
Tags
Unknown