pert:
@rtek1000's report of this on the GitHub issue tracker:
[RAM Disk] build.path preference to another partition, but gives error · Issue #8812 · arduino/Arduino · GitHubPossibly related:
Build output path customization · Issue #197 · arduino/arduino-cli · GitHub
Ok, thank you!