Skip to content

Commit 86387de

Browse files
committed
Move rename ci-scripts directory
Signed-off-by: Federico Busetti <[email protected]>
1 parent 2a9d7c5 commit 86387de

File tree

4 files changed

+5
-5
lines changed

4 files changed

+5
-5
lines changed

.github/workflows/release.yml

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -41,10 +41,10 @@ jobs:
4141
- name: Export version for site docs
4242
id: docs-version-step
4343
run: |
44-
./ci-scripts/docs-version.sh
45-
echo "Identified version: $(./ci-scripts/docs-version.sh)"
46-
echo "version=$(./ci-scripts/docs-version.sh)"
47-
echo "version=$(./ci-scripts/docs-version.sh)" >> $GITHUB_OUTPUT
44+
./scripts/docs-version.sh
45+
echo "Identified version: $(./scripts/docs-version.sh)"
46+
echo "version=$(./scripts/docs-version.sh)"
47+
echo "version=$(./scripts/docs-version.sh)" >> $GITHUB_OUTPUT
4848
4949
publish:
5050
runs-on: ubuntu-latest

mkdocs.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ plugins:
1212
- mike
1313
- gen-files:
1414
scripts:
15-
- ci-scripts/gen_pages.py # or any other name or path
15+
- scripts/gen_pages.py # or any other name or path
1616
- mkdocstrings:
1717
handlers:
1818
python:
File renamed without changes.
File renamed without changes.

0 commit comments

Comments
 (0)