Skip to content

Merge branch 'mr/trespeuch/speed-up-coverage' into 'master' #870

Merge branch 'mr/trespeuch/speed-up-coverage' into 'master'

Merge branch 'mr/trespeuch/speed-up-coverage' into 'master' #870

Annotations

1 warning

build (ubuntu-latest, 3.11)

succeeded Dec 11, 2024 in 1m 21s