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

..

index.js

Add workingDirectory option

2023-09-17 20:45:12 +02:00

problem-matcher.json

Convert checkout to a regular action (#70)

2019-12-03 10:28:59 -05:00