HomeSoftware Heritage

Add jenkins server profile to swh_ci_server

Description

Add jenkins server profile to swh_ci_server

Details

Provenance
olasdAuthored on Apr 13 2018, 2:27 PM
olasdPushed on Jun 15 2018, 2:27 PM
Parents
rSPSITEc0b2e60ee6a3: Add roles for swh_ci/_server
Branches
Unknown
Tags
Unknown