I'm looking for some help in configuring pants to run against a webdav cache. I can't find any docs for configuring the pants.ini accordingly; could someone point me in the right direction?

You probably missed 'Build Cache' here: https://www.pantsbuild.org/setup_repo.html

Ah, yes, that was it. Thanks very much!