Skip to content

Merge pull request #131 from msakai/feature/simplify-converter-tests #552

Merge pull request #131 from msakai/feature/simplify-converter-tests

Merge pull request #131 from msakai/feature/simplify-converter-tests #552

Annotations

11 warnings

build (8.8.4, ubuntu-latest, stack-ghc-8.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...

succeeded Dec 10, 2024 in 11m 30s