Skip to content

Bump CI to GHCs 9.8.1 and 9.4.8#261

Merged
andreasabel merged 1 commit intomasterfrom ci-9.8.1Jan 7, 2024

Commits