Skip to content
GitLab
Explore
Sign in
Commit
36ee1c23
authored
Apr 13, 2022
by
Laurent Velez
Browse files
Delete .jenkins.sh as it uses a pipeline instead
parent
9b8d6592
Loading
Loading
Loading
Loading
Changes
1
Pipelines
1