checkout/dist
Marco Accorinti 0fd0fa4fd4 Add workingDirectory option
Let user override $GITHUB_WORKSPACE as default working directory

Defaults to undefined, the original behaviour is maintained
2024-04-25 17:55:21 +02:00
..
index.js Add workingDirectory option 2024-04-25 17:55:21 +02:00
problem-matcher.json Convert checkout to a regular action (#70) 2019-12-03 10:28:59 -05:00