Allow newer filepath and data-default-class; github CI for GHC 8.0-9.12#2

andreasabel wants to merge 2 commits intotrskop:mastertrskop/lock-file:masterfrom

andreasabel:ghc-9.12andreasabel/lock-file:ghc-9.12Copy head branch name to clipboard