The parking shed has the tags
amenity=bicycle_parking + covered=yes + bicycle_parking=shed
which is already redundant information.
Adding another building=* would not make the tagging better imo.
2 Likes