diff options
Diffstat (limited to '.github/workflows/docs.yaml')
-rw-r--r-- | .github/workflows/docs.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index b4265f54..1418d43d 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -45,6 +45,6 @@ jobs: with: token: ${{ secrets.GITHUB_TOKEN }} branch: gh-pages # The branch the action should deploy to. - folder: pages # The folder the action should deploy. + folder: pages/dex-lang # The folder the action should deploy. clean: false # If true, automatically remove deleted files from the deploy branch. commit-message: Updating gh-pages from ${{ github.sha }} |