diff options
author | Patrick Cloke <clokep@users.noreply.github.com> | 2021-09-21 12:32:46 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-21 16:32:46 +0000 |
commit | ebd8baf61ff8e00f8de3b63c00531765672000c8 (patch) | |
tree | 49069cd2f6bfbc66c23b92c0e200dc2db5aa5c7b /.github/workflows | |
parent | Refactor oEmbed previews (#10814) (diff) | |
download | synapse-ebd8baf61ff8e00f8de3b63c00531765672000c8.tar.xz |
Clear our destination directories before copying files to GitHub pages. (#10869)
This should fix stale deleted files being still accessible.
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/docs.yaml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 808f825331..2bf32e376b 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -61,6 +61,5 @@ jobs: uses: peaceiris/actions-gh-pages@068dc23d9710f1ba62e86896f84735d869951305 # v3.8.0 with: github_token: ${{ secrets.GITHUB_TOKEN }} - keep_files: true publish_dir: ./book destination_dir: ./${{ steps.vars.outputs.branch-version }} |