Merge branch 'ci-fix' into 'master'

use python3.9 for ci

See merge request !4
5 jobs for master in 1 minute and 5 seconds (queued for 10 seconds)