beremiz

GH CI: try reverting to previous version of ubuntu

2022-12-13, etisserant
ddadbdf20e70
GH CI: try reverting to previous version of ubuntu
(binary:image/png)