scientific Bump CI to ubuntu-20.04 and recent GHCs 9.6.1 9.4.4 9.2.7 9.0.2 8.10.7

Bump CI to ubuntu-20.04 and recent GHCs 9.6.1 9.4.4 9.2.7 9.0.2 8.10.7

Open andreasabel opened this issue 2 years ago • 3 comments

ubuntu-18.04 has reached EOL

Mar 28 '23 19:03 andreasabel

@phadej : Do you have rights on this repo, can you merge this?

Jul 03 '23 06:07 andreasabel

master branch is not really used. scientific-0.3 branch is the branch.

Jul 04 '23 07:07 phadej

Ah, I see, then this makes only limited sense. Feel free to close then.

Jul 08 '23 18:07 andreasabel