This uses the python:3.13 docker image and also installs uv
beforehand. Checkout is performed "manually" because the standard
actions/checkout@v4 action requires node:20 as container, which is
annoying. I don't want to pull in node just to clone a git repo.
Signed-off-by: Max R. Carrara <max@aequito.sh>
