Skip to content

Merge pull request #122 from msakai/fix-some-warnings #512

Merge pull request #122 from msakai/fix-some-warnings

Merge pull request #122 from msakai/fix-some-warnings #512

Annotations

12 warnings

build (9.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...

succeeded Nov 21, 2024 in 17m 37s