Skip to content
CI

Integrate the Haskell code emitted from agda-spec into CI #4898

Sign in to view logs

Integrate the Haskell code emitted from agda-spec into CI

Integrate the Haskell code emitted from agda-spec into CI #4898

Annotations

1 warning

Build and test (8.10.7, default, all)

Build and test (8.10.7, default, all)
succeeded Dec 13, 2024 in 37m 22s