Skip to content
GitLab
Explore
Sign in
GNOME
gnome-music
Merge requests
!990
The source project of this merge request has been removed.
Fix type checking
Bruce Cowan
requested to merge
(removed):fix-ci
into
master
Oct 17, 2022
Overview
1
Pipelines
0
Changes
1
Expand
This fixes the 'mypy' part of the CI
Merge request reports