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