Skip to content
CI

Generate Haskell code from the Agda spec #4916

Sign in to view logs

Generate Haskell code from the Agda spec

Generate Haskell code from the Agda spec #4916

Annotations

1 error

Build and test (8.10.7, default, all)

Build and test (8.10.7, default, all)
succeeded Dec 18, 2024 in 40m 10s