Skip to content

Remove unused bootstrap images

Cheng Shao requested to merge wip/rm-unused-bootstrap into master

Bootstrap images for 9.2/9.4/9.6 can be dropped, we only use 9.8/9.10 in ghc ci now.

Merge request reports