Skip to content

Add ghc-head to the github CI #154

Add ghc-head to the github CI

Add ghc-head to the github CI #154

Annotations

2 warnings

This job succeeded