Cleaning a bit the Jenkinsfile
Description
Description
Details
Details
- Committed
richart Jan 21 2019, 12:42 - Pushed
gitlab-richart Jul 29 2021, 09:01 - Parents
- rAKAde1fca149331: Adding linters in the dockerfile
- Branches
- Unknown
- Tags
richart | Jan 21 2019, 12:42 |
gitlab-richart | Jul 29 2021, 09:01 |