Ivan Grokhotkov 4f5d15ae93 ci: generate separate log files for each {example, test app} config
Otherwise the build log gets overwritten, and warnings in earlier
builds may be masked.
2020-03-20 00:01:16 +01:00
..