I wanted to use a persistent volume for the workspace volume of this
Jenkins pipeline in order to speed up subsequent builds. Unfortunately,
this feature does not really work well in Jenkins. Since the agent is
removed when the build completes, and therefore the volume is not
mounted anywhere, Jenkins cannot delete workspaces for deleted jobs.
This means that when feature branches/pull requests are merged, their
workspaces remain on disk forever.
Using the *dynamicPVC* option deletes the entire volume when the job
finishes. This avoids wasting space, but does not allow subsequent
builds to reuse the workspace. As a compromise, we can use a persistent
volume for the compiler cache and share it between builds. Using the
compiler cache is not as effective as keeping the whole build directory,
but it still saves some time. Also, it works across branches, too.
