tree d4ec4183142e6fa0d1b4dd720a2a28a98c4a4a42
parent e85746925d3590885ce8916adeaae98bbb59b3cb
author Davide Pesavento <davidepesa@gmail.com> 1676583251 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1676583251 -0500

ci: use python 3.11

Change-Id: Ie8d37bf5f5ed8b54cca3ba512aef38ed3a9e94c1