I never saw a movie about Pecos Bill and didn’t know one had been made.
I still have the 78rpm album from 1948 (when I was 6), with Roy Rogers and the Sons of the Pioneers.
Disney put out one about 30 minutes long. There are some clips from it on YouTube. It stars Roy Rogers and the Sons of the Pioneers.