7 Commits (5291072cbca30ea53c22362b1a7818a7ffd75413)

Author	SHA1	Message	Date
Adriaan de Groot	933ad82392	CI: increase build directory size ... - Fix typo in the build-debugging bits - Increase tmpfs size of /build because it looks like "make install" ends up filling the disk, and then it fails.	7 years ago
Adriaan de Groot	be8de205af	CI: be more verbose in the CI	7 years ago
Adriaan de Groot	aee5676ae8	ci: be more verbose on failure and on install	7 years ago
Adriaan de Groot	ae0764f52e	CI: be more verbose in the CI	7 years ago
Adriaan de Groot	00e1bb9c8d	CI: fix the build on Travis ... - Make the Travis scripts a bit more verbose on failure - Fix wrong filename tested for picking up the configuration (this is why the builds were failing: missing the force-webkit flag, while webengine isn't in the dockerfile for Travis) FIXES #1018	7 years ago
Adriaan de Groot	f73f4bdea2	CI: for now, switch off PythonQt	7 years ago
Adriaan de Groot	99858242fb	CI: Replace Jenkins-oriented scripts with Travis-oriented ones	7 years ago