Marco Accorinti a66a86e636 Add workingDirectory option
Let user override $GITHUB_WORKSPACE as default working directory

Defaults to undefined, the original behaviour is maintained
2023-09-17 20:45:12 +02:00
..
2020-07-14 09:23:30 -04:00