@@ -2,43 +2,43 @@ name: Archive documentation
22
33on :
44 release :
5- types : [published]
5+ types : [ published ]
66 workflow_dispatch :
77
88jobs :
99 archive-docs :
10- if : " ! contains(toJSON(github.event.commits.*.message), '[ci skip]')"
11- runs-on : ubuntu-latest
12- steps :
13- - name : Configure workflow
14- id : configuration
15- run : |
16- echo "BRANCH_NAME=${GITHUB_REF#refs/*/}" >> $GITHUB_OUTPUT
17- echo "DOCS_OUTPUT_DIR=${GITHUB_WORKSPACE}/skript-docs/docs/archives/${GITHUB_REF#refs/tags/}" >> $GITHUB_OUTPUT
18- echo "DOCS_REPO_DIR=${GITHUB_WORKSPACE}/skript-docs" >> $GITHUB_OUTPUT
19- echo "SKRIPT_REPO_DIR=${GITHUB_WORKSPACE}/skript" >> $GITHUB_OUTPUT
20- - name : Checkout Skript
21- uses : actions/checkout@v6
22- with :
23- submodules : recursive
24- path : skript
25- - name : Setup documentation environment
26- uses : ./skript/.github/workflows/docs/setup-docs
27- with :
28- docs_deploy_key : ${{ secrets.DOCS_DEPLOY_KEY }}
29- docs_output_dir : ${{ steps.configuration.outputs.DOCS_OUTPUT_DIR }}
30- - name : Generate documentation
31- uses : ./skript/.github/workflows/docs/generate-docs
32- with :
33- docs_output_dir : ${{ steps.configuration.outputs.DOCS_OUTPUT_DIR }}
34- docs_repo_dir : ${{ steps.configuration.outputs.DOCS_REPO_DIR }}
35- skript_repo_dir : ${{ steps.configuration.outputs.SKRIPT_REPO_DIR }}
36- is_release : true
37- generate_javadocs : true
38- - name : Push archive documentation
39- uses : ./skript/.github/workflows/docs/push-docs
40- with :
41- docs_repo_dir : ${{ steps.configuration.outputs.DOCS_REPO_DIR }}
42- git_name : Archive Docs Bot
43- git_email : archivedocs@skriptlang.org
44- git_commit_message : " Update ${{ steps.configuration.outputs.BRANCH_NAME }} archive docs"
10+ if : " ! contains(toJSON(github.event.commits.*.message), '[ci skip]')"
11+ runs-on : ubuntu-latest
12+ steps :
13+ - name : Configure workflow
14+ id : configuration
15+ run : |
16+ echo "BRANCH_NAME=${GITHUB_REF#refs/*/}" >> $GITHUB_OUTPUT
17+ echo "DOCS_OUTPUT_DIR=${GITHUB_WORKSPACE}/skript-docs/docs/archives/${GITHUB_REF#refs/tags/}" >> $GITHUB_OUTPUT
18+ echo "DOCS_REPO_DIR=${GITHUB_WORKSPACE}/skript-docs" >> $GITHUB_OUTPUT
19+ echo "SKRIPT_REPO_DIR=${GITHUB_WORKSPACE}/skript" >> $GITHUB_OUTPUT
20+ - name : Checkout Skript
21+ uses : actions/checkout@v6
22+ with :
23+ submodules : recursive
24+ path : skript
25+ - name : Setup documentation environment
26+ uses : ./skript/.github/workflows/docs/setup-docs
27+ with :
28+ docs_repo : " SkriptLang/skript-docs "
29+ docs_token : ${{ secrets.DOCS_TOKEN }}
30+ - name : Generate documentation
31+ uses : ./skript/.github/workflows/docs/generate-docs
32+ with :
33+ docs_output_dir : ${{ steps.configuration.outputs.DOCS_OUTPUT_DIR }}
34+ docs_repo_dir : ${{ steps.configuration.outputs.DOCS_REPO_DIR }}
35+ skript_repo_dir : ${{ steps.configuration.outputs.SKRIPT_REPO_DIR }}
36+ is_release : true
37+ generate_javadocs : true
38+ - name : Push archive documentation
39+ uses : ./skript/.github/workflows/docs/push-docs
40+ with :
41+ docs_repo_dir : ${{ steps.configuration.outputs.DOCS_REPO_DIR }}
42+ git_name : Archive Docs Bot
43+ git_email : archivedocs@skriptlang.org
44+ git_commit_message : " Update ${{ steps.configuration.outputs.BRANCH_NAME }} archive docs"
0 commit comments