dev: make ghc 9.10 the default for dev builds and some github actions
This commit is contained in:
parent
ebd8a87177
commit
1a0b1034b6
Loading…
Reference in New Issue
Block a user