2020-03-14 18:00:37 +11:00
|
|
|
name: workdir
|
|
|
|
on: push
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
workdir:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2021-05-04 14:50:35 -07:00
|
|
|
- run: mkdir -p "${GITHUB_WORKSPACE}/workdir"
|
2021-03-29 06:32:45 +02:00
|
|
|
- run: '[[ "$(pwd)" == "${GITHUB_WORKSPACE}/workdir" ]]'
|
2020-03-14 18:00:37 +11:00
|
|
|
working-directory: workdir
|
|
|
|
|
|
|
|
noworkdir:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2021-03-29 06:32:45 +02:00
|
|
|
- run: '[[ "$(pwd)" == "${GITHUB_WORKSPACE}" ]]'
|