2 Commits (f8077c97909778c117d37773c9da570d831dacd2)

Author SHA1 Message Date
Khaled Hosny f8077c9790 Print only the failed log 7 years ago
Khaled Hosny 8e3b4c0e11 Simplify calls to collect-logs.sh 7 years ago
Khaled Hosny 23d21a74b5 Move collect_logs to .ci dir 7 years ago
Ebrahim Byagowi 581996ea79
Add .collect_logs and use it on CI bots, fixes #786 (#789) 7 years ago