Haskell-CI

Agda PR #7322 compatibility #1846

Sign in to view logs

Triggered via pull request July 10, 2024 07:16

andreasabel

synchronize #2432

issue7322-compat

Status Success

Total duration 2m 25s

Artifacts –

haskell-ci.yml

on: pull_request

Matrix: linux