Added index
This commit is contained in:
parent
1f7ef0dbaa
commit
51cccb4b65
@ -21,11 +21,14 @@ jobs:
|
||||
- run: mkdocs build
|
||||
|
||||
# Commit and push all changed files.
|
||||
- name: GIT Commit Build Artifacts (coverage, dist, devdist, docs)
|
||||
run: |
|
||||
- run: |
|
||||
git config --global user.name "${{ env.CI_COMMIT_AUTHOR }}"
|
||||
git config --global user.email "username@users.noreply.github.com"
|
||||
git add site/
|
||||
- run: |
|
||||
mkdir pages
|
||||
cp -r site/* pages/
|
||||
- run: |
|
||||
git add pages/
|
||||
git commit -m "${{ env.CI_COMMIT_MESSAGE }}"
|
||||
git branch -M pages
|
||||
git push -u origin pages --force
|
||||
git pull
|
||||
- run: git subtree push --prefix pages origin gitea-pages
|
||||
|
2
docs/toos/index.md
Normal file
2
docs/toos/index.md
Normal file
@ -0,0 +1,2 @@
|
||||
# Index
|
||||
Docs from Timo
|
Loading…
Reference in New Issue
Block a user