summaryrefslogtreecommitdiff
path: root/tools/ci/jobs/mplint.sh
AgeCommit message (Expand)AuthorFilesLines
2024-02-08Be slightly more smart when running mplintJesusalva Jesusalva1-1/+3
2022-12-23updated mplint repositoryjak11-1/+1
2020-06-04Use cross platform path to bash in ci scriptsAndrei Karas1-1/+1
2017-10-13Remove mplint directory before clone.Andrei Karas1-0/+1
2017-03-27Add support for variables NEWCC and NEWCXX into all ci scripts.Andrei Karas1-0/+8
2017-01-25In ci move install packages from shell scripts into .gitlab-ci.ymlAndrei Karas1-3/+0
2016-06-22Allow clone mplint from fork at first and if it missing from original manaplu...Andrei Karas1-1/+1
2016-05-01In ci scripts add also protection against git clone failures.Andrei Karas1-1/+1
2016-04-23Add workaround for mplint ci test.Andrei Karas1-0/+1
2016-04-15Fix compiler version report in ci scripts.Andrei Karas1-0/+2
2016-04-12add .gitlab-ci.yml and script for it.Andrei Karas1-0/+23