Skip to content
Haskell CI

Change the structure of the GenT monad, to better track explanations. #17005

Sign in to view logs

Change the structure of the GenT monad, to better track explanations.

Change the structure of the GenT monad, to better track explanations. #17005

Annotations

1 warning

Check if formal-ledger-specifications SRP is valid

Check if formal-ledger-specifications SRP is valid
succeeded Jan 24, 2025 in 12s