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