Closed marcfehling closed 1 year ago
Follow-up to https://github.com/dealii/dealii/pull/15074.
Switch from focal to jammy images and releases.
We could also test both focal and jammy, but I don't see much benefit in it. Opinions?
Rebased on master.
marcfehling
commented
1 year ago marcfehling
commented
1 year ago
Follow-up to https://github.com/dealii/dealii/pull/15074.
Switch from focal to jammy images and releases.
We could also test both focal and jammy, but I don't see much benefit in it. Opinions?