summaryrefslogtreecommitdiff
path: root/tools/ci/jobs/mplint.sh
AgeCommit message (Expand)AuthorFilesLines
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