Skip to content

Merge branch 'main' into erral-gitlab-improvements #80

Merge branch 'main' into erral-gitlab-improvements

Merge branch 'main' into erral-gitlab-improvements #80

generation (3.11)

succeeded Nov 28, 2024 in 20s
Set up job
1s
Checkout codebase
1s
Set up Python 3.11
1s
Install dependencies
6s
Run tests
8s
Post Set up Python 3.11
0s
Post Checkout codebase
0s
Complete job
0s