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