Change checkout directory name
This commit is contained in:
parent
d9e053f123
commit
0b7d117de9
2 changed files with 5 additions and 4 deletions
6
.github/workflows/build_docs.yml
vendored
6
.github/workflows/build_docs.yml
vendored
|
@ -86,7 +86,7 @@ jobs:
|
||||||
uses: actions/checkout@v3
|
uses: actions/checkout@v3
|
||||||
with:
|
with:
|
||||||
ref: ${{ inputs.branch }}
|
ref: ${{ inputs.branch }}
|
||||||
path: _branch_src
|
path: _checkout
|
||||||
|
|
||||||
- name: Get hexdoc command and set build variables
|
- name: Get hexdoc command and set build variables
|
||||||
id: get-hexdoc-cmd
|
id: get-hexdoc-cmd
|
||||||
|
@ -94,8 +94,8 @@ jobs:
|
||||||
if [[ '${{ steps.checkout-input.outcome }}' == 'skipped' ]]; then
|
if [[ '${{ steps.checkout-input.outcome }}' == 'skipped' ]]; then
|
||||||
props='doc/properties.toml'
|
props='doc/properties.toml'
|
||||||
else
|
else
|
||||||
props='_branch_src/doc/properties.toml'
|
props='_checkout/doc/properties.toml'
|
||||||
echo "HATCH_GRADLE_DIR='_branch_src'" >> "$GITHUB_ENV"
|
echo "HATCH_GRADLE_DIR='_checkout'" >> "$GITHUB_ENV"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
hexdoc="hexdoc $props --ci --is-release ${{ steps.check-release.outputs.release == true }} --update-latest ${{ github.event_name != 'workflow_dispatch' || inputs.update-latest }}"
|
hexdoc="hexdoc $props --ci --is-release ${{ steps.check-release.outputs.release == true }} --update-latest ${{ github.event_name != 'workflow_dispatch' || inputs.update-latest }}"
|
||||||
|
|
3
.gitignore
vendored
3
.gitignore
vendored
|
@ -1,6 +1,7 @@
|
||||||
# hexdoc
|
# hexdoc
|
||||||
doc/**/_export/generated/
|
doc/**/_export/generated/
|
||||||
_site/
|
/_site/
|
||||||
|
/_checkout/
|
||||||
__gradle_version__.py
|
__gradle_version__.py
|
||||||
|
|
||||||
# eclipse
|
# eclipse
|
||||||
|
|
Loading…
Reference in a new issue