Bump Fantomas

This commit is contained in:
Smaug123
2022-11-06 12:21:32 +00:00
parent 1195e3fff0
commit 77d1c7befb
2 changed files with 3 additions and 4 deletions

View File

@@ -192,8 +192,7 @@ module Ui =
[ 0 .. state.ClusterSize - 1 ]
|> List.map (fun i ->
if userPrefs.ShowConsumedMessages then
state.AllMessages.[i]
|> List.indexed
state.AllMessages.[i] |> List.indexed
else
state.UndeliveredMessages.[i]
|> List.map (fun (messageId, message) ->
@@ -325,5 +324,5 @@ module Ui =
let getUserPrefs (ui : UiElements) : UserPreferences =
{
LeaderUnderConsideration = ui.SelectedLeaderId.valueAsNumber |> int |> (fun i -> i * 1<ServerId>)
ShowConsumedMessages = ui.ShowConsumedMessages.checked
ShowConsumedMessages = ui.ShowConsumedMessages.``checked``
}

View File

@@ -3,7 +3,7 @@
"isRoot": true,
"tools": {
"fantomas": {
"version": "5.0.6",
"version": "5.1.0",
"commands": [
"fantomas"
]