summaryrefslogtreecommitdiff
path: root/tools/ci/scripts/exit.sh
AgeCommit message (Collapse)AuthorFilesLines
2024-05-10Download mplint release instead of recompiling every timeFedja Beader1-1/+1
Saves 1min10s by not compiling and another 15s by moving it together with linters. Squashed with: * Make sure mplint internal error or failure to run is detected * Make mplint breaking cause job to fail * Move linters out of lightweight.. goes faster, 3m46s -> 1m45s * Make script fail if any command returns nonzero or if any variable is unset. * Donwload mplint instead of building it **** mana/plus!80
2020-06-04Use cross platform path to bash in ci scriptsAndrei Karas1-1/+1
2016-04-12add .gitlab-ci.yml and script for it.Andrei Karas1-0/+3