Haskell-CI

agda-stdlib-utils: allow base-4.22 for GHC 9.14 #2881

Sign in to view logs

Triggered via pull request April 18, 2026 13:30

andreasabel

opened #2984

ghc-9.14.1

Status Success

Total duration 2m 57s

Artifacts –

haskell-ci.yml

on: pull_request

Matrix: linux