Age | Commit message (Collapse) | Author | Files | Lines |
|
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
|
|
|
|
|
|
|
|
gcov -> build
doxygen -> build
pages -> deploy
|
|
added doxygen to pages stage
added gcov_gcc6 to pages stage
changed ci init script to use public dir.
|
|
|
|
|
|
Look like it found some false positives.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
http://deb.debian.org/debian.
|
|
|
|
|
|
web site.
|
|
|
|
This reverts commit 7890d8e082d5ab07d1ae92468166cac235721d4e.
|
|
|
|
|
|
|
|
manaplus repo.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
commands.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|