beremiz

GH CI: try reverting to previous version of ubuntu

2022-12-13, etisserant
ddadbdf20e70
GH CI: try reverting to previous version of ubuntu
<?xml version="1.0" encoding="UTF-8"?>
<BeremizRoot URI_location="LOCAL://">
<TargetType/>
</BeremizRoot>