build

Add --dump-info option to toyconvert #500

Job	Run time
build (9.8.2, ubuntu-latest, stack-ghc-9.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...	2m 18s
build (9.6.6, ubuntu-latest, stack-ghc-9.6.yaml, --haddock --no-haddock-deps, --flag toysolver:Bu...	3m 56s
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...	3m 50s
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...	4m 42s
build (9.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...	6m 18s
build (9.2.8, ubuntu-latest, stack-ghc-9.2.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...	3m 51s
build (9.0.2, ubuntu-latest, stack-ghc-9.0.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...	5m 5s
build (8.10.7, windows-latest, stack-ghc-8.10.yaml, --flag toysolver:BuildToyFMF --flag toysolver...	11m 42s
build (8.8.4, ubuntu-latest, stack-ghc-8.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...	3m 41s
build (8.6.3, windows-latest, stack-windows-i386.yaml, --flag toysolver:BuildToyFMF --flag toysol...	7m 19s
github-release	0s
	52m 42s

Provide feedback