CI: lint and build Python3.{13,14} images

Closes #13 (closed)

assigned to @georg

added 3 commits

• 68a939b9...63d0d7c2 - 2 commits from branch master
• d338d7f0 - CI: lint and build Python3{13,14} images

Compare with previous version

approved this merge request

enabled an automatic merge when all merge checks for d338d7f0 pass

changed title from CI: lint and build Python3{13,14} images to CI: lint and build Python3.{13,14} images

aborted the automatic merge because the source branch was updated. Learn more.

added 1 commit

• 13d41924 - CI: lint and build Python3.{13,14} images

Compare with previous version

enabled an automatic merge when all merge checks for 13d41924 pass

merged