add datetime to runs #6

Freymaurer · Mar 21, 2024 · 272a163 · 272a163
1 parent 3ea2cad
commit 272a163
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
@@ -3,7 +3,7 @@
   "isRoot": true,
   "tools": {
     "fable": {
-      "version": "4.9.0",
+      "version": "4.16.0",
       "commands": [
         "fable"
       ]

diff --git a/src/Pyxpecto.fs b/src/Pyxpecto.fs
@@ -608,7 +608,8 @@ module Pyxpecto =
         #if !FABLE_COMPILER
         System.Console.OutputEncoding <- System.Text.Encoding.UTF8
         #endif
-        System.Console.WriteLine $"🚀 start running {runner.Language.AsLowerCaseString} tests ..."
+        let time = System.DateTime.Now.ToString("HH:mm:ss yyyy.MM.dd")
+        System.Console.WriteLine $"🚀 start running {runner.Language.AsLowerCaseString} tests ... [{time}]"
         async {
             do! run runner
             let innerMsgString = $"""{BColors.INFOBLUE}{runner.SumTests}{BColors.ENDC} tests run - {BColors.INFOBLUE}{runner.SuccessfulTests.Value}{BColors.ENDC} passed, {BColors.INFOBLUE}{runner.IgnoredTests.Value}{BColors.ENDC} ignored, {BColors.INFOBLUE}{runner.FailedTests.Value}{BColors.ENDC} failed, {BColors.INFOBLUE}{runner.ErrorTests.Value}{BColors.ENDC} errored"""