record Run
Record a finished run header.
Persisting the run header ensures even a run with zero marks leaves a trace in the audit trail, grouping all CollectorRecords for the run under a shared CollectorRun.runId.
Parameters
run
The finished run header to store