Unable to answer "Is there a public bicycle pump here (at least when it’s open)?" for https://osm.org/node/10970971072 via StreetComplete 54.1:

There doesn't seem to be a public pump available here. It could be worth asking whether one is available when the place is open.