Skip to content

Conversation

@miniBill
Copy link
Collaborator

Flake lock file updates:

• Updated input 'nixpkgs':
'github:NixOS/nixpkgs/5ab036a8d97cb9476fbe81b09076e6e91d15e1b6' (2025-06-30)
→ 'github:NixOS/nixpkgs/126caa58957300de7fdd6c7813f45b46ae1d2f23' (2025-09-17)

Flake lock file updates:

• Updated input 'nixpkgs':
    'github:NixOS/nixpkgs/5ab036a8d97cb9476fbe81b09076e6e91d15e1b6' (2025-06-30)
  → 'github:NixOS/nixpkgs/126caa58957300de7fdd6c7813f45b46ae1d2f23' (2025-09-17)
@github-actions
Copy link

diff --ignore-all-space --minimal --new-file --recursive main/generated/AdditionalProperties/Json.elm branch/cli/generated/AdditionalProperties/Json.elm
0a1,326
> module AdditionalProperties.Json exposing
>     ( encodeStringLists, encodeTaxonomy, encodeVagueExtras
>     , decodeStringLists, decodeTaxonomy, decodeVagueExtras
>     )
> 
> {-|
> 
> 
> ## Encoders
> 
> @docs encodeStringLists, encodeTaxonomy, encodeVagueExtras
> 
> 
> ## Decoders
> 
> @docs decodeStringLists, decodeTaxonomy, decodeVagueExtras
> 
> -}
> 
> import AdditionalProperties.Types
> import Dict
> import Json.Decode
> import Json.Encode
> import OpenApi.Common
> 
> 
> encodeStringLists : AdditionalProperties.Types.StringLists -> Json.Encode.Value
> encodeStringLists =
>     Json.Encode.dict Basics.identity (Json.Encode.list Json.Encode.string)
> 
> 
> encodeTaxonomy : AdditionalProperties.Types.Taxonomy -> Json.Encode.Value
> encodeTaxonomy rec =
>     Json.Encode.object
>         [ ( "tags"
>           , Json.Encode.object
>                 (List.append
>                     (List.filterMap
>                         Basics.identity
>                         [ Maybe.map
>                             (\mapUnpack ->
>                                 ( "category", Json.Encode.string mapUnpack )
>                             )
>                             rec.tags.category
>                         ]
>                     )
>                     (List.map
>                         (\( key, value ) ->
>                             ( key
>                             , Json.Encode.object
>                                 (List.filterMap
>                                     Basics.identity
>                                     [ Maybe.map
>                                         (\mapUnpack ->
>                                             ( "isPopular"
>                                             , Json.Encode.bool mapUnpack
>                                             )
>                                         )
>                                         value.isPopular
>                                     , Just
>                                         ( "name"
>                                         , Json.Encode.string value.name
>                                         )
>                                     ]
>                                 )
>                             )
>                         )
>                         (Dict.toList rec.tags.additionalProperties)
>                     )
>                 )
>           )
>         ]
> 
> 
> encodeVagueExtras : AdditionalProperties.Types.VagueExtras -> Json.Encode.Value
> encodeVagueExtras rec =
>     Json.Encode.object
>         (List.append
>             (List.filterMap
>                 Basics.identity
>                 [ Maybe.map
>                     (\mapUnpack -> ( "a", Json.Encode.string mapUnpack ))
>                     rec.a
>                 , Just ( "b", Json.Encode.string rec.b )
>                 ]
>             )
>             (List.map
>                 (\( key, value ) -> ( key, Basics.identity value ))
>                 (Dict.toList rec.additionalProperties)
>             )
>         )
> 
> 
> decodeStringLists : Json.Decode.Decoder AdditionalProperties.Types.StringLists
> decodeStringLists =
>     Json.Decode.dict (Json.Decode.list Json.Decode.string)
> 
> 
> decodeTaxonomy : Json.Decode.Decoder AdditionalProperties.Types.Taxonomy
> decodeTaxonomy =
>     Json.Decode.succeed
>         (\tags -> { tags = tags })
>         |> OpenApi.Common.jsonDecodeAndMap
>             (Json.Decode.field
>                 "tags"
>                 (Json.Decode.succeed
>                     (\category additionalProperties ->
>                         { category =
>                             category
>                         , additionalProperties =
>                             additionalProperties
>                         }
>                     )
>                     |> OpenApi.Common.jsonDecodeAndMap
>                         (OpenApi.Common.decodeOptionalField
>                             "category"
>                             Json.Decode.string
>                         )
>                     |> OpenApi.Common.jsonDecodeAndMap
>                         (Json.Decode.keyValuePairs
>                             Json.Decode.value
>                             |> Json.Decode.andThen
>                                 (\andThenUnpack ->
>                                     List.filterMap
>                                         (\( key, jsonValue ) ->
>                                             if
>                                                 List.member
>                                                     key
>                                                     [ "category"
>                                                     ]
>                                             then
>                                                 Nothing
> 
>                                             else
>                                                 let
>                                                     additionalPropertyDecoder =
>                                                         Json.Decode.succeed
>                                                             (\isPopular name ->
>                                                                 { isPopular =
>                                                                     isPopular
>                                                                 , name =
>                                                                     name
>                                                                 }
>                                                             )
>                                                             |> OpenApi.Common.jsonDecodeAndMap
>                                                                 (OpenApi.Common.decodeOptionalField
>                                                                     "isPopular"
>                                                                     Json.Decode.bool
>                                                                 )
>                                                             |> OpenApi.Common.jsonDecodeAndMap
>                                                                 (Json.Decode.field
>                                                                     "name"
>                                                                     Json.Decode.string
>                                                                 )
>                                                 in
>                                                 case
>                                                     Json.Decode.decodeValue
>                                                         additionalPropertyDecoder
>                                                         jsonValue
>                                                 of
>                                                     Ok decodedValue ->
>                                                         Just
>                                                             (Result.Ok
>                                                                 ( key
>                                                                 , decodedValue
>                                                                 )
>                                                             )
> 
>                                                     Err decodeError ->
>                                                         Just
>                                                             (Result.Err
>                                                                 ((("Field '" ++ key)
>                                                                     ++ "': "
>                                                                  )
>                                                                     ++ Json.Decode.errorToString
>                                                                         decodeError
>                                                                 )
>                                                             )
>                                         )
>                                         andThenUnpack
>                                         |> (\resultPairs ->
>                                                 let
>                                                     fieldErrors =
>                                                         List.filterMap
>                                                             (\field ->
>                                                                 case
>                                                                     field
>                                                                 of
>                                                                     Ok _ ->
>                                                                         Nothing
> 
>                                                                     Err error ->
>                                                                         Just
>                                                                             error
>                                                             )
>                                                             resultPairs
>                                                 in
>                                                 if
>                                                     List.isEmpty
>                                                         fieldErrors
>                                                 then
>                                                     resultPairs
>                                                         |> List.filterMap
>                                                             Result.toMaybe
>                                                         |> Dict.fromList
>                                                         |> Json.Decode.succeed
> 
>                                                 else
>                                                     [ """Errors while decoding additionalProperties:
> - """
>                                                     , String.join
>                                                         """
> 
> - """
>                                                         fieldErrors
>                                                     , """
> """
>                                                     ]
>                                                         |> String.concat
>                                                         |> Json.Decode.fail
>                                            )
>                                 )
>                         )
>                 )
>             )
> 
> 
> decodeVagueExtras : Json.Decode.Decoder AdditionalProperties.Types.VagueExtras
> decodeVagueExtras =
>     Json.Decode.succeed
>         (\a b additionalProperties ->
>             { a = a, b = b, additionalProperties = additionalProperties }
>         )
>         |> OpenApi.Common.jsonDecodeAndMap
>             (OpenApi.Common.decodeOptionalField "a" Json.Decode.string)
>         |> OpenApi.Common.jsonDecodeAndMap
>             (Json.Decode.field "b" Json.Decode.string)
>         |> OpenApi.Common.jsonDecodeAndMap
>             (Json.Decode.keyValuePairs
>                 Json.Decode.value
>                 |> Json.Decode.andThen
>                     (\andThenUnpack ->
>                         List.filterMap
>                             (\( key, jsonValue ) ->
>                                 if
>                                     List.member
>                                         key
>                                         [ "a"
>                                         , "b"
>                                         ]
>                                 then
>                                     Nothing
> 
>                                 else
>                                     let
>                                         additionalPropertyDecoder =
>                                             Json.Decode.value
>                                     in
>                                     case
>                                         Json.Decode.decodeValue
>                                             additionalPropertyDecoder
>                                             jsonValue
>                                     of
>                                         Ok decodedValue ->
>                                             Just
>                                                 (Result.Ok
>                                                     ( key
>                                                     , decodedValue
>                                                     )
>                                                 )
> 
>                                         Err decodeError ->
>                                             Just
>                                                 (Result.Err
>                                                     ((("Field '" ++ key)
>                                                         ++ "': "
>                                                      )
>                                                         ++ Json.Decode.errorToString
>                                                             decodeError
>                                                     )
>                                                 )
>                             )
>                             andThenUnpack
>                             |> (\resultPairs ->
>                                     let
>                                         fieldErrors =
>                                             List.filterMap
>                                                 (\field ->
>                                                     case
>                                                         field
>                                                     of
>                                                         Ok _ ->
>                                                             Nothing
> 
>                                                         Err error ->
>                                                             Just
>                                                                 error
>                                                 )
>                                                 resultPairs
>                                     in
>                                     if
>                                         List.isEmpty
>                                             fieldErrors
>                                     then
>                                         resultPairs
>                                             |> List.filterMap
>                                                 Result.toMaybe
>                                             |> Dict.fromList
>                                             |> Json.Decode.succeed
> 
>                                     else
>                                         [ """Errors while decoding additionalProperties:
> - """
>                                         , String.join
>                                             """
> 
> - """
>                                             fieldErrors
>                                         , """
> """
>                                         ]
>                                             |> String.concat
>                                             |> Json.Decode.fail
>                                )
>                     )
>             )
diff --ignore-all-space --minimal --new-file --recursive main/generated/AdditionalProperties/Types.elm branch/cli/generated/AdditionalProperties/Types.elm
0a1,57
> module AdditionalProperties.Types exposing (StringLists, Taxonomy, VagueExtras)
> 
> {-|
> 
> 
> ## Aliases
> 
> @docs StringLists, Taxonomy, VagueExtras
> 
> -}
> 
> import Dict
> import Json.Encode
> 
> 
> {-| Lists of strings stored in arbitrary object keys
> -}
> type alias StringLists =
>     Dict.Dict String (List String)
> 
> 
> {-| Taxonomy data
> 
>   - tags: Tag information
> 
>         - category: Category of these tags
> 
>         - additionalProperties: Dictionary of tags, keyed by machine id
> 
>           Each value in the dict is a record of:
>             - isPopular: Whether the tag is popular
>             - name: Name of the tag
> 
> -}
> type alias Taxonomy =
>     { tags :
>         { additionalProperties :
>             Dict.Dict String { isPopular : Maybe Bool, name : String }
>         , category : Maybe String
>         }
>     }
> 
> 
> {-| Fields:
> 
>   - a: Something
> 
>   - b: Something else
> 
>   - additionalProperties: Arbitrary data whose type is not defined by the API spec
> 
> -}
> type alias VagueExtras =
>     { additionalProperties : Dict.Dict String Json.Encode.Value
>     , a : Maybe String
>     , b : String
>     }
diff --ignore-all-space --minimal --new-file --recursive main/generated/AirlineCodeLookupApi/Api.elm branch/cli/generated/AirlineCodeLookupApi/Api.elm
0a1,107
> module AirlineCodeLookupApi.Api exposing (getairlines, getairlinesTask)
> 
> {-|
> 
> 
> ## airlines
> 
> @docs getairlines, getairlinesTask
> 
> -}
> 
> import AirlineCodeLookupApi.Json
> import AirlineCodeLookupApi.Types
> import Dict
> import Http
> import Json.Decode
> import OpenApi.Common
> import Task
> import Url.Builder
> 
> 
> {-| Return airlines information.
> -}
> getairlines :
>     { toMsg :
>         Result (OpenApi.Common.Error AirlineCodeLookupApi.Types.Getairlines_Error String) AirlineCodeLookupApi.Types.Airlines
>         -> msg
>     , params : { airlineCodes : Maybe String }
>     }
>     -> Cmd msg
> getairlines config =
>     Http.request
>         { url =
>             Url.Builder.crossOrigin
>                 "https://test.api.amadeus.com/v1"
>                 [ "reference-data", "airlines" ]
>                 (List.filterMap
>                     Basics.identity
>                     [ Maybe.map
>                         (Url.Builder.string "airlineCodes")
>                         config.params.airlineCodes
>                     ]
>                 )
>         , method = "GET"
>         , headers = []
>         , expect =
>             OpenApi.Common.expectJsonCustom
>                 (Dict.fromList
>                     [ ( "400"
>                       , Json.Decode.map
>                             AirlineCodeLookupApi.Types.Getairlines_400
>                             AirlineCodeLookupApi.Json.decodeStatusCode400
>                       )
>                     , ( "500"
>                       , Json.Decode.map
>                             AirlineCodeLookupApi.Types.Getairlines_500
>                             AirlineCodeLookupApi.Json.decodeStatusCode500
>                       )
>                     ]
>                 )
>                 AirlineCodeLookupApi.Json.decodeAirlines
>                 config.toMsg
>         , body = Http.emptyBody
>         , timeout = Nothing
>         , tracker = Nothing
>         }
> 
> 
> {-| Return airlines information.
> -}
> getairlinesTask :
>     { params : { airlineCodes : Maybe String } }
>     -> Task.Task (OpenApi.Common.Error AirlineCodeLookupApi.Types.Getairlines_Error String) AirlineCodeLookupApi.Types.Airlines
> getairlinesTask config =
>     Http.task
>         { url =
>             Url.Builder.crossOrigin
>                 "https://test.api.amadeus.com/v1"
>                 [ "reference-data", "airlines" ]
>                 (List.filterMap
>                     Basics.identity
>                     [ Maybe.map
>                         (Url.Builder.string "airlineCodes")
>                         config.params.airlineCodes
>                     ]
>                 )
>         , method = "GET"
>         , headers = []
>         , resolver =
>             OpenApi.Common.jsonResolverCustom
>                 (Dict.fromList
>                     [ ( "400"
>                       , Json.Decode.map
>                             AirlineCodeLookupApi.Types.Getairlines_400
>                             AirlineCodeLookupApi.Json.decodeStatusCode400
>                       )
>                     , ( "500"
>                       , Json.Decode.map
>                             AirlineCodeLookupApi.Types.Getairlines_500
>                             AirlineCodeLookupApi.Json.decodeStatusCode500
>                       )
>                     ]
>                 )
>                 AirlineCodeLookupApi.Json.decodeAirlines
>         , body = Http.emptyBody
>         , timeout = Nothing
>         }
diff --ignore-all-space --minimal --new-file --recursive main/generated/AirlineCodeLookupApi/Json.elm branch/cli/generated/AirlineCodeLookupApi/Json.elm
0a1,522
> module AirlineCodeLookupApi.Json exposing
>     ( encodeAirline, encodeAirlines, encodeError, encodeMeta, encodeStatusCode400, encodeStatusCode500
>     , encodeWarning
>     , decodeAirline, decodeAirlines, decodeError, decodeMeta, decodeStatusCode400, decodeStatusCode500
>     , decodeWarning
>     )
> 
> {-|
> 
> 
> ## Encoders
> 
> @docs encodeAirline, encodeAirlines, encodeError, encodeMeta, encodeStatusCode400, encodeStatusCode500
> @docs encodeWarning
> 
> 
> ## Decoders
> 
> @docs decodeAirline, decodeAirlines, decodeError, decodeMeta, decodeStatusCode400, decodeStatusCode500
> @docs decodeWarning
> 
> -}
> 
> import AirlineCodeLookupApi.Types
> import Json.Decode
> import Json.Encode
> import OpenApi.Common
> import Url
> 
> 
> encodeAirline : AirlineCodeLookupApi.Types.Airline -> Json.Encode.Value
> encodeAirline rec =
>     Json.Encode.object
>         (List.filterMap
>             Basics.identity
>             [ Maybe.map
>                 (\mapUnpack -> ( "businessName", Json.Encode.string mapUnpack ))
>                 rec.businessName
>             , Maybe.map
>                 (\mapUnpack -> ( "commonName", Json.Encode.string mapUnpack ))
>                 rec.commonName
>             , Maybe.map
>                 (\mapUnpack -> ( "iataCode", Json.Encode.string mapUnpack ))
>                 rec.iataCode
>             , Maybe.map
>                 (\mapUnpack -> ( "icaoCode", Json.Encode.string mapUnpack ))
>                 rec.icaoCode
>             , Maybe.map
>                 (\mapUnpack -> ( "type", Json.Encode.string mapUnpack ))
>                 rec.type_
>             ]
>         )
> 
> 
> encodeAirlines : AirlineCodeLookupApi.Types.Airlines -> Json.Encode.Value
> encodeAirlines rec =
>     Json.Encode.object
>         (List.filterMap
>             Basics.identity
>             [ Just ( "data", Json.Encode.list encodeAirline rec.data )
>             , Maybe.map
>                 (\mapUnpack -> ( "meta", encodeMeta mapUnpack ))
>                 rec.meta
>             , Maybe.map
>                 (\mapUnpack ->
>                     ( "warnings", Json.Encode.list encodeWarning mapUnpack )
>                 )
>                 rec.warnings
>             ]
>         )
> 
> 
> encodeError : AirlineCodeLookupApi.Types.Error -> Json.Encode.Value
> encodeError rec =
>     Json.Encode.object
>         (List.filterMap
>             Basics.identity
>             [ Maybe.map
>                 (\mapUnpack -> ( "code", Json.Encode.int mapUnpack ))
>                 rec.code
>             , Maybe.map
>                 (\mapUnpack -> ( "detail", Json.Encode.string mapUnpack ))
>                 rec.detail
>             , Maybe.map
>                 (\mapUnpack ->
>                     ( "source"
>                     , Json.Encode.object
>                         (List.filterMap
>                             Basics.identity
>                             [ Maybe.map
>                                 (\mapUnpack0 ->
>                                     ( "example"
>                                     , Json.Encode.string mapUnpack0
>                                     )
>                                 )
>                                 mapUnpack.example
>                             , Maybe.map
>                                 (\mapUnpack0 ->
>                                     ( "parameter"
>                                     , Json.Encode.string mapUnpack0
>                                     )
>                                 )
>                                 mapUnpack.parameter
>                             , Maybe.map
>                                 (\mapUnpack0 ->
>                                     ( "pointer"
>                                     , Json.Encode.string mapUnpack0
>                                     )
>                                 )
>                                 mapUnpack.pointer
>                             ]
>                         )
>                     )
>                 )
>                 rec.source
>             , Maybe.map
>                 (\mapUnpack -> ( "status", Json.Encode.int mapUnpack ))
>                 rec.status
>             , Maybe.map
>                 (\mapUnpack -> ( "title", Json.Encode.string mapUnpack ))
>                 rec.title
>             ]
>         )
> 
> 
> encodeMeta : AirlineCodeLookupApi.Types.Meta -> Json.Encode.Value
> encodeMeta rec =
>     Json.Encode.object
>         (List.filterMap
>             Basics.identity
>             [ Maybe.map
>                 (\mapUnpack -> ( "count", Json.Encode.int mapUnpack ))
>                 rec.count
>             , Maybe.map
>                 (\mapUnpack ->
>                     ( "links"
>                     , Json.Encode.object
>                         (List.filterMap
>                             Basics.identity
>                             [ Maybe.map
>                                 (\mapUnpack0 ->
>                                     ( "first"
>                                     , OpenApi.Common.encodeStringUri
>                                         mapUnpack0
>                                     )
>                                 )
>                                 mapUnpack.first
>                             , Maybe.map
>                                 (\mapUnpack0 ->
>                                     ( "last"
>                                     , OpenApi.Common.encodeStringUri
>                                         mapUnpack0
>                                     )
>                                 )
>                                 mapUnpack.last
>                             , Maybe.map
>                                 (\mapUnpack0 ->
>                                     ( "next"
>                                     , OpenApi.Common.encodeStringUri
>                                         mapUnpack0
>                                     )
>                                 )
>                                 mapUnpack.next
>                             , Maybe.map
>                                 (\mapUnpack0 ->
>                                     ( "previous"
>                                     , OpenApi.Common.encodeStringUri
>                                         mapUnpack0
>                                     )
>                                 )
>                                 mapUnpack.previous
>                             , Maybe.map
>                                 (\mapUnpack0 ->
>                                     ( "self"
>                                     , OpenApi.Common.encodeStringUri
>                                         mapUnpack0
>                                     )
>                                 )
>                                 mapUnpack.self
>                             , Maybe.map
>                                 (\mapUnpack0 ->
>                                     ( "up"
>                                     , OpenApi.Common.encodeStringUri
>                                         mapUnpack0
>                                     )
>                                 )
>                                 mapUnpack.up
>                             ]
>                         )
>                     )
>                 )
>                 rec.links
>             ]
>         )
> 
> 
> encodeStatusCode400 : AirlineCodeLookupApi.Types.StatusCode400 -> Json.Encode.Value
> encodeStatusCode400 rec =
>     Json.Encode.object
>         (List.filterMap
>             Basics.identity
>             [ Maybe.map
>                 (\mapUnpack ->
>                     ( "errors", Json.Encode.list encodeError mapUnpack )
>                 )
>                 rec.errors
>             ]
>         )
> 
> 
> encodeStatusCode500 : AirlineCodeLookupApi.Types.StatusCode500 -> Json.Encode.Value
> encodeStatusCode500 rec =
>     Json.Encode.object
>         (List.filterMap
>             Basics.identity
>             [ Maybe.map
>                 (\mapUnpack ->
>                     ( "errors", Json.Encode.list encodeError mapUnpack )
>                 )
>                 rec.errors
>             ]
>         )
> 
> 
> encodeWarning : AirlineCodeLookupApi.Types.Warning -> Json.Encode.Value
> encodeWarning rec =
>     Json.Encode.object
>         (List.filterMap
>             Basics.identity
>             [ Maybe.map
>                 (\mapUnpack -> ( "code", Json.Encode.int mapUnpack ))
>                 rec.code
>             , Maybe.map
>                 (\mapUnpack -> ( "detail", Json.Encode.string mapUnpack ))
>                 rec.detail
>             , Maybe.map
>                 (\mapUnpack ->
>                     ( "source"
>                     , Json.Encode.object
>                         (List.filterMap
>                             Basics.identity
>                             [ Maybe.map
>                                 (\mapUnpack0 ->
>                                     ( "example"
>                                     , Json.Encode.string mapUnpack0
>    

@miniBill
Copy link
Collaborator Author

I'm utterly confused by the diff. It shouldn't have a diff

@wolfadex
Copy link
Owner

I'm utterly confused by the diff. It shouldn't have a diff

Node 18 - 20 related? Shouldn't be, but that'd be my only guess

@miniBill
Copy link
Collaborator Author

Going to check manually locally to see what's up

@wolfadex
Copy link
Owner

Going to check manually locally to see what's up

Sounds good. Feel free to merge when you do/don't find anything

@miniBill
Copy link
Collaborator Author

Yeah, no diff locally

@miniBill miniBill merged commit f7e65aa into main Sep 17, 2025
2 checks passed
@miniBill miniBill deleted the update-flake-lock branch September 17, 2025 15:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants