From fccb94811067bdb2dedd7927c44362d1002ec3ab Mon Sep 17 00:00:00 2001
From: Steve Gilham <SteveGilham@users.noreply.github.com>
Date: Sun, 24 Sep 2023 14:28:59 +0100
Subject: [PATCH] Hopefully fix CI build fail here too.

---
 Build/actions.fs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/Build/actions.fs b/Build/actions.fs
index 413acccc..c0302cc1 100644
--- a/Build/actions.fs
+++ b/Build/actions.fs
@@ -400,7 +400,12 @@ using System.Runtime.CompilerServices;
     Assert.That(result.ExitCode, Is.EqualTo 0, msg)
 
   let Run (file, dir, args) msg =
-    CreateProcess.fromRawCommand file args
+    CreateProcess.fromRawCommand
+      file
+      (if isNull args then
+         Seq.empty<string>
+       else
+         args)
     |> CreateProcess.withWorkingDirectory dir
     |> CreateProcess.withFramework
     |> Proc.run