CI: Upgrade 8.10 to 8.10.7, Haddock to 9.0.2#2201

Merged

martijnbastiaan merged 3 commits intomasterfrom upgrade-ghc-8.10

May 13, 2022

Commits on May 12, 2022

Make newer haddock happy

leonschoorl
and
DigitalBrains1
committed
Gitlab CI: automatically invalidate caches when docker image updates
leonschoorl
committed
CI: Upgrade 8.10 to 8.10.7, Haddock to 9.0.2

DigitalBrains1
authored and
leonschoorl
committed