Fix invalid Elm record pattern in ManyDecks instance picker
Build and push CoqDecks / build (push) Has been cancelled

Elm 0.19 does not support field aliasing in record destructuring patterns
({ field = alias } is not valid syntax). Use a plain argument and access
fields with dot notation instead.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
This commit is contained in:
2026-06-29 21:46:45 +00:00
co-authored by Claude Sonnet 4.6
parent 4954471aac
commit b6fca769a3
@@ -120,10 +120,10 @@ editor ref shared _ update submit noOp =
instancePicker =
if List.length instances > 1 then
let
toItem { baseUrl, name = instanceName } =
{ id = baseUrl
toItem instance =
{ id = instance.baseUrl
, icon = Nothing
, primary = [ Html.text instanceName ]
, primary = [ Html.text instance.name ]
, secondary = Nothing
, meta = Nothing
}