@@ -470,9 +470,12 @@ jobs:
470470 if : " (github.event_name == 'schedule' || github.event_name == 'workflow_dispatch') && github.repository == 'lampepfl/dotty'"
471471 env :
472472 NIGHTLYBUILD : yes
473- BOT_TOKEN : ${{ secrets.BOT_TOKEN }} # If you need to change this:
474- # Generate one at https://github.com/settings/tokens
475- # Make sure you have the write permissions to the repo: https://github.com/lampepfl/dotty-website
473+ DOTTY_WEBSITE_BOT_TOKEN : ${{ secrets.BOT_TOKEN }} # If you need to change this:
474+ # Generate one at https://github.com/settings/tokens
475+ # Make sure you have the write permissions to the repo: https://github.com/lampepfl/dotty-website
476+ DOCS_SCALALANG_BOT_TOKEN : ${{ secrets.DOCS_SCALALANG_BOT_TOKEN }} # If you need to change this:
477+ # Generate one at https://github.com/settings/tokens
478+ # Make sure you have the write permissions to the repo: https://github.com/scala/docs.scala-lang
476479
477480 steps :
478481 - name : Reset existing repo
@@ -494,14 +497,26 @@ jobs:
494497 run : |
495498 ./project/scripts/genDocs -doc-snapshot
496499
497- - name : Deploy Website
500+ - name : Deploy Website to dotty-website
498501 uses : peaceiris/actions-gh-pages@v3
499502 with :
500- personal_token : ${{ secrets.BOT_TOKEN }}
503+ personal_token : ${{ env.DOTTY_WEBSITE_BOT_TOKEN }}
501504 publish_dir : docs/_site
502505 external_repository : lampepfl/dotty-website
503506 publish_branch : gh-pages
504507
508+ - name : Generate docs.scala-lang preprocessed files
509+ run : |
510+ ./project/scripts/genDocsScalaLang
511+
512+ - name : Deploy Website to docs.scala-lang
513+ uses : peaceiris/actions-gh-pages@v3
514+ with :
515+ personal_token : ${{ env.DOCS_SCALALANG_BOT_TOKEN }}
516+ publish_dir : docsScalaLang
517+ external_repository : BarkingBad/docs.scala-lang
518+ publish_branch : dev
519+
505520 publish_release :
506521 runs-on : [self-hosted, Linux]
507522 container :
0 commit comments