Simplify and generalize configurable working directory code in build workflow#2564

per1234 merged 1 commit intoarduino:mainarduino/arduino-ide:mainfrom

per1234:working-dirper1234/arduino-ide:working-dirCopy head branch name to clipboard