Skip to content

Merge remote-tracking branch 'origin/wip/ghc-9.12-final' into develop #1115

Merge remote-tracking branch 'origin/wip/ghc-9.12-final' into develop

Merge remote-tracking branch 'origin/wip/ghc-9.12-final' into develop #1115

Annotations

4 warnings

Test metadata (8.10.7, 3.6.2.0, ubuntu-22.04)

succeeded Dec 17, 2024 in 5m 35s