https://bugzilla.wikimedia.org/show_bug.cgi?id=62278
--- Comment #1 from Antoine "hashar" Musso <has...@free.fr> --- And the compression I am referring to is a trick: LOG_DIR="$WORKSPACE/log" mkdir -p "$LOG_DIR" # Make sure to compress MediaWiki log dir after phpunit has ran function compress_log_dir() { echo "Compressing logs under $LOG_DIR" gzip --verbose --force --best "$LOG_DIR"/*.log || : } trap compress_log_dir EXIT -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l