Skip to content
CI

Generate Haskell code from the Agda spec #4892

Sign in to view logs

Generate Haskell code from the Agda spec

Generate Haskell code from the Agda spec #4892

Annotations

1 error

Build and test (9.6.6, default, all)

Build and test (9.6.6, default, all)
cancelled Dec 12, 2024 in 1m 33s