Vincent Demeester e3746d388e Merge pull request #206 from dnephin/why-cross-so-slow ...

Faster CI

2017-07-13 09:36:18 +02:00

..

build

Add parallelism to cross build

2017-07-05 15:23:32 -04:00

docs

Run docs and man generation in CI

2017-06-14 14:59:48 -07:00

gen

Remove unused windows resourcefiles.

2017-05-15 22:50:33 -04:00

test

Pin all tools used in the Dockerfiles

2017-07-11 14:23:27 -04:00

validate

Fix check-git-diff so that it fails on CI

2017-06-06 15:06:34 -04:00

winresources

Remove unused windows resourcefiles.

2017-05-15 22:50:33 -04:00