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