build

update URL of the 2011 SAT Competition Rule #564

Job	Run time
build (9.8.2, ubuntu-latest, stack-ghc-9.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...	7m 11s
build (9.6.6, ubuntu-latest, stack-ghc-9.6.yaml, --haddock --no-haddock-deps, --flag toysolver:Bu...	7m 23s
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...	8m 44s
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...	12m 26s
build (9.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...	8m 48s
build (9.2.8, ubuntu-latest, stack-ghc-9.2.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...	6m 49s
build (9.0.2, ubuntu-latest, stack-ghc-9.0.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...	7m 5s
build (8.10.7, windows-latest, stack-ghc-8.10.yaml, --flag toysolver:BuildToyFMF --flag toysolver...	14m 54s
build (8.8.4, ubuntu-latest, stack-ghc-8.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...	7m 36s
build (8.6.3, windows-latest, stack-windows-i386.yaml, --flag toysolver:BuildToyFMF --flag toysol...	9m 39s
github-release	0s
	1h 30m 35s

Provide feedback