Skip to content

ghc-next-from-scratch #26

ghc-next-from-scratch

ghc-next-from-scratch #26

Triggered via schedule June 14, 2024 03:02
Status Success
Total duration 1h 51m 14s
Artifacts

ghc-next.yml

on: schedule
Matrix: ghc-9-10
Fit to window
Zoom out
Zoom in

Annotations

30 warnings
ubuntu
unrecognised warning flag: -Wno-x-partial
ubuntu
unrecognised warning flag: -Wno-x-partial
ubuntu
unrecognised warning flag: -Wno-x-partial
ubuntu
unrecognised warning flag: -Wno-x-partial
ubuntu
This binding for ‘flags’ shadows the existing binding
ubuntu
This binding for ‘buffer’ shadows the existing binding
ubuntu
This binding for ‘buffer’ shadows the existing binding
ubuntu
This binding for ‘toolSettings’ shadows the existing binding
ubuntu
This binding for ‘fileSettings’ shadows the existing binding
ubuntu
This binding for ‘platformMisc’ shadows the existing binding
windows
unrecognised warning flag: -Wno-x-partial
windows
unrecognised warning flag: -Wno-x-partial
windows
unrecognised warning flag: -Wno-x-partial
windows
unrecognised warning flag: -Wno-x-partial
windows
This binding for `flags' shadows the existing binding
windows
This binding for `buffer' shadows the existing binding
windows
This binding for `toolSettings' shadows the existing binding
windows
This binding for `fileSettings' shadows the existing binding
windows
This binding for `platformMisc' shadows the existing binding
windows
This binding for `ghcNameVersion' shadows the existing binding
macos
unrecognised warning flag: -Wno-x-partial
macos
unrecognised warning flag: -Wno-x-partial
macos
unrecognised warning flag: -Wno-x-partial
macos
unrecognised warning flag: -Wno-x-partial
macos
This binding for ‘flags’ shadows the existing binding
macos
This binding for ‘buffer’ shadows the existing binding
macos
This binding for ‘buffer’ shadows the existing binding
macos
This binding for ‘toolSettings’ shadows the existing binding
macos
This binding for ‘fileSettings’ shadows the existing binding
macos
This binding for ‘platformMisc’ shadows the existing binding