Refresh support for multiple log files? #1
Description
Darum used to support ingesting multiple log files. This is useful to deal with problems that appear when trying to generate big log files with many iterations; e.g., a Dafny bug could kill it before the output file is generated, wasting the whole run (like in dafny-lang/dafny#5316). Generating shorter files is more reliable / scalable.
However, at some point focus changed from running on CI with many iterations to interactive use with few iterations. Multi-file support rot a bit.
If there's interest, it could be refreshed.