Bump CI to GHC 9.6.0#491

Merged

andreasabel merged 2 commits intomasterfrom

Feb 19, 2023

Commits on Feb 19, 2023

Bump CI to GHC 9.6.0; not for 'samples' yet (unbuildable)
andreasabel
committed
CI GHC 9.6.0 also for samples after release of `operational`
andreasabel
committed