Enable single-commit option for doc deployment (#5138)

Closes #5092.

The `force` option wasn't needed as it is [already enabled by default](https://github.com/JamesIves/github-pages-deploy-action#optional-choices) (however I can add it if it would be better to have it explicitly specified).
This commit is contained in:
Lucien Menassol 2022-06-29 15:44:34 +00:00
parent 5b5660ea08
commit 5f8e43833d

View File

@ -54,3 +54,5 @@ jobs:
with:
branch: gh-pages
folder: target/doc
single-commit: true
force: true