beremiz

GH CI: try reverting to previous version of ubuntu

2022-12-13, etisserant
ddadbdf20e70
GH CI: try reverting to previous version of ubuntu
<xsd:element name="Linux">
<xsd:complexType>
%(toolchain_gcc)s
</xsd:complexType>
</xsd:element>