GH CI: try reverting to previous version of ubuntu

2022-12-13, etisserant