Skip to content

The batch system ate my homework.

David Thompson requested to merge dcthomp/sensei:log-timing-to-files into master

Slurm was discarding timings written to stderr/stdout, so write timings to a file named in the XML configuration.

Merge request reports