Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2024-05-10 | Download mplint release instead of recompiling every time | Fedja Beader | 1 | -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-04 | Use cross platform path to bash in ci scripts | Andrei Karas | 1 | -1/+1 | |
2016-04-12 | add .gitlab-ci.yml and script for it. | Andrei Karas | 1 | -0/+3 | |