Stellarium / stellarium / 14623029775

11%

Build Type

push

github

Committed by 10110111

Commit Message

Merge HiPS properties from hipslist and properties

This will let us see the properties even if the actual HiPS properties
file still hasn't been downloaded, plus we'll get hips_service_url into
the list.

Sometimes the properties differ between hipslist and properties, so we
still overwrite the data from the former file by those from the latter
one, assuming that they are more up-to-date.

Run Details

0 of 7 new or added lines in 1 file covered. (0.0%)

2 existing lines in 1 file now uncovered.

14615 of 122403 relevant lines covered (11.94%)

18690.28 hits per line