mirror of
https://gitea.com/actions/checkout.git
synced 2024-11-01 01:20:35 +01:00
0fd0fa4fd4
Let user override $GITHUB_WORKSPACE as default working directory Defaults to undefined, the original behaviour is maintained |
||
---|---|---|
.. | ||
index.js | ||
problem-matcher.json |