Skip to content

Merge branch 'mr/langkit_863' into 'master' #672

Merge branch 'mr/langkit_863' into 'master'

Merge branch 'mr/langkit_863' into 'master' #672

Annotations

1 error and 3 warnings

Build (debug, windows-latest)

failed Nov 14, 2024 in 3m 37s