Skip to content

ci: split dev from extra #5219

ci: split dev from extra

ci: split dev from extra #5219

Annotations

1 warning

pretty_old_versions (3.8, ubuntu-latest)

succeeded Dec 23, 2024 in 1m 32s