void Finish() { if (JenkinsHtml != null) { if (Options.StdOut != null) { JenkinsHtml.WriteLine($"<p>Output: {Options.JenkinsStdOutLink}."); } JenkinsHtml.Flush(); JenkinsHtml.Dispose(); } if (StdOut != null) { StdOut.Flush(); StdOut.Dispose(); } }