summaryrefslogtreecommitdiff
path: root/tools/ci/scripts/exit.sh
AgeCommit message (Expand)AuthorFilesLines
2024-05-10Download mplint release instead of recompiling every timeFedja Beader1-1/+1
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