Several decades after the discovery of superconductivity in bismuthates, the strength of their electron-phonon coupling and its evolution with doping remain puzzling. To clarify these issues, polycrystalline hole-doped Ba1−xKxBiO3 (0.1≤x≤0.6) samples were systematically synthesized and their bulk and microscopic superconducting properties were investigated by means of magnetic susceptibility and muon-spin rotation and relaxation (μSR), respectively. The phase diagram of Ba1−xKxBiO3 was reliably extended up to x=0.6, which is still found to be a bulk superconductor. The lattice parameter a increases linearly with K content, implying a homogeneous chemical doping. The low-temperature superfluid density, measured via transverse-field μSR, indicates an isotropic fully gapped superconducting state with zero-temperature gaps Δ0/kBTc=2.15, 2.10, and 1.75, and magnetic penetration depths λ0=219, 184, and 279 nm for x=0.3, 0.4, and 0.6, respectively. A change in the superconducting gap, from a nearly ideal BCS value (1.76kBTc in the weak-coupling case) in the overdoped x=0.6 region, to much higher values in the optimally doped case, implies a gradual decrease in electron-phonon coupling with doping.