CI: use the more supported format for pip install
pip install .[dev]
dosent work on zsh while pip install ."[dev]"
does.
See for eg: https://github.com/mu-editor/mu/issues/852
pip install .[dev]
dosent work on zsh while pip install ."[dev]"
does.
See for eg: https://github.com/mu-editor/mu/issues/852